default search action

combined dblp search
author search
venue search
publication search

ask others

Handbook of Satisfiability 2009

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - series/faia/2009-185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/2009-185
Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh:
Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185, IOS Press 2009, ISBN 978-1-58603-929-5

Part I. Theory and Algorithms

- view
  authority control:
- export record
  dblp key:
  - series/faia/FrancoM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/FrancoM09
John Franco, John Martin:
A History of Satisfiability. 3-74
- view
  authority control:
- export record
  dblp key:
  - series/faia/Prestwich09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Prestwich09
Steven D. Prestwich:
CNF Encodings. 75-97
- view
  authority control:
- export record
  dblp key:
  - series/faia/DarwicheP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/DarwicheP09
Adnan Darwiche, Knot Pipatsrisawat:
Complete Algorithms. 99-130
- view
  authority control:
- export record
  dblp key:
  - series/faia/SilvaLM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/SilvaLM09
João Marques-Silva, Inês Lynce, Sharad Malik:
Conflict-Driven Clause Learning SAT Solvers. 131-153
- view
  authority control:
- export record
  dblp key:
  - series/faia/HeuleM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/HeuleM09
Marijn Heule, Hans van Maaren:
Look-Ahead Based SAT Solvers. 155-184
- view
  authority control:
- export record
  dblp key:
  - series/faia/KautzSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/KautzSS09
Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. 185-203
- view
  authority control:
- export record
  dblp key:
  - series/faia/Kullmann09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Kullmann09
Oliver Kullmann:
Fundaments of Branching Heuristics. 205-244
- view
  authority control:
- export record
  dblp key:
  - series/faia/Achlioptas09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Achlioptas09
Dimitris Achlioptas:
Random Satisfiability. 245-270
- view
  authority control:
- export record
  dblp key:
  - series/faia/GomesS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GomesS09
Carla P. Gomes, Ashish Sabharwal:
Exploiting Runtime Variation in Complete Solvers. 271-288
- view
  authority control:
- export record
  dblp key:
  - series/faia/Sakallah09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Sakallah09
Karem A. Sakallah:
Symmetry and Satisfiability. 289-338
- view
  authority control:
- export record
  dblp key:
  - series/faia/BuningK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BuningK09
Hans Kleine Büning, Oliver Kullmann:
Minimal Unsatisfiability and Autarkies. 339-401
- view
  authority control:
- export record
  dblp key:
  - series/faia/DantsinH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/DantsinH09
Evgeny Dantsin, Edward A. Hirsch:
Worst-Case Upper Bounds. 403-424
- view
  authority control:
- export record
  dblp key:
  - series/faia/SamerS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/SamerS09
Marko Samer, Stefan Szeider:
Fixed-Parameter Tractability. 425-454

Part II. Applications and Extensions

- view
  authority control:
- export record
  dblp key:
  - series/faia/Biere09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Biere09
Armin Biere:
Bounded Model Checking. 457-481
- view
  authority control:
- export record
  dblp key:
  - series/faia/Rintanen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Rintanen09
Jussi Rintanen:
Planning and SAT. 483-504
- view
  authority control:
- export record
  dblp key:
  - series/faia/Kroening09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Kroening09
Daniel Kroening:
Software Verification. 505-532
- view
  authority control:
- export record
  dblp key:
  - series/faia/Zhang09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Zhang09
Hantao Zhang:
Combinatorial Designs by SAT Solvers. 533-568
- view
  authority control:
- export record
  dblp key:
  - series/faia/AltarelliMSZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/AltarelliMSZ09
Fabrizio Altarelli, Rémi Monasson, Guilhem Semerjian, Francesco Zamponi:
Connections to Statistical Physics. 569-611
- view
  authority control:
- export record
  dblp key:
  - series/faia/LiM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/LiM09
Chu Min Li, Felip Manyà:
MaxSAT, Hard and Soft Constraints. 613-631
- view
  authority control:
- export record
  dblp key:
  - series/faia/GomesSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GomesSS09
Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. 633-654
- view
  authority control:
- export record
  dblp key:
  - series/faia/DrechslerJN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/DrechslerJN09
Rolf Drechsler, Tommi A. Junttila, Ilkka Niemelä:
Non-Clausal SAT and ATPG. 655-693
- view
  authority control:
- export record
  dblp key:
  - series/faia/RousselM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/RousselM09
Olivier Roussel, Vasco Manquinho:
Pseudo-Boolean and Cardinality Constraints. 695-733
- view
  authority control:
- export record
  dblp key:
  - series/faia/BuningB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BuningB09
Hans Kleine Büning, Uwe Bubeck:
Theory of Quantified Boolean Formulas. 735-760
- view
  authority control:
- export record
  dblp key:
  - series/faia/GiunchigliaMN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GiunchigliaMN09
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. 761-780
- view
  authority control:
- export record
  dblp key:
  - series/faia/SebastianiT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/SebastianiT09
Roberto Sebastiani, Armando Tacchella:
SAT Techniques for Modal and Description Logics. 781-824
- view
  authority control:
- export record
  dblp key:
  - series/faia/BarrettSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BarrettSST09
Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli:
Satisfiability Modulo Theories. 825-885
- view
  authority control:
- export record
  dblp key:
  - series/faia/Majercik09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Majercik09
Stephen M. Majercik:
Stochastic Boolean Satisfiability. 887-925

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.