Resultaten visas 1 - 10 / 123
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Maximum Satisfiability

Referentgranskad
DOI
10.3233/FAIA201008
Bacchus, Fahiem; Järvisalo, Matti; Martins, Ruben
Frontiers in Artificial Intelligence and Applications2021Publicationer information ikon

Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability

Referentgranskad
Öppen tillgång
Seitz, Sakari; Alava, Mikko; Orponen, Pekka
SPRINGER2005Publicationer information ikon

Incremental Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.SAT.2022.14
Niskanen, Andreas; Berg, Jeremias; Järvisalo, Matti
LIPIcs2022Publicationer information ikon

Incremental Satisfiability Solving and its Applications

Öppen tillgång
Wieringa, Siert
Aalto University2014Publicationer information ikon

Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Referentgranskad
Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; van Ross...
SPRINGER2005Publicationer information ikon

Parallel encodings of classical planning as satisfiability

Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
Freiburg University2004Publicationer information ikon

Parallel Encodings of Classical Planning as Satisfiability

Referentgranskad
DOI
10.1007/978-3-540-30227-8_27
Rintanen, Jussi; Niemelä, Ilkka; Heljanko, Keijo
Lecture Notes in Computer Science2004Publicationer information ikon

BCSat 0.3 - a satisfiability checker for Boolean circuits

Junttila, Tommi
-2001Publicationer information ikon

Clause Redundancy and Preprocessing in Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-10769-6_6
Ihalainen, Hannes Edvard; Berg, Jeremias; Järvisalo, Matti
Lecture Notes in Computer Science2022Publicationer information ikon

Planning as satisfiability Parallel plans and algorithms for plan search

Referentgranskad
DOI
10.1016/j.artint.2006.08.002
Rintanen, Jussi; Heljanko, Keijo; Niemelä, Ilkka
Artificial Intelligence2006

Maximum Satisfiability

Referentgranskad
DOI
10.3233/FAIA201008
2021

Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability

Referentgranskad
Öppen tillgång
2005

Incremental Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.4230/LIPIcs.SAT.2022.14
2022

Incremental Satisfiability Solving and its Applications

Öppen tillgång
2014

Efficient Satisfiability Modulo Theories via Delayed Theory Combination

Referentgranskad
2005

Parallel encodings of classical planning as satisfiability

2004

Parallel Encodings of Classical Planning as Satisfiability

Referentgranskad
DOI
10.1007/978-3-540-30227-8_27
2004

BCSat 0.3 - a satisfiability checker for Boolean circuits

2001

Clause Redundancy and Preprocessing in Maximum Satisfiability

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-10769-6_6
2022

Planning as satisfiability Parallel plans and algorithms for plan search

Referentgranskad
DOI
10.1016/j.artint.2006.08.002
2006