More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Handbook of Satisfiability 2021

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/faia/336
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/336
Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh:
Handbook of Satisfiability - Second Edition. Frontiers in Artificial Intelligence and Applications 336, IOS Press 2021, ISBN 978-1-64368-160-3
- view
  authority control:
- export record
  dblp key:
  - series/faia/FrancoM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/FrancoM21
John Franco, John Martin:
A History of Satisfiability. 3-74
- view
  authority control:
- export record
  dblp key:
  - series/faia/Prestwich21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Prestwich21
Steven D. Prestwich:
CNF Encodings. 75-100
- view
  authority control:
- export record
  dblp key:
  - series/faia/DarwicheP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/DarwicheP21
Adnan Darwiche, Knot Pipatsrisawat:
Complete Algorithms. 101-132
- view
  authority control:
- export record
  dblp key:
  - series/faia/0001LM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/0001LM21
João Marques-Silva, Inês Lynce, Sharad Malik:
Conflict-Driven Clause Learning SAT Solvers. 133-182
- view
  authority control:
- export record
  dblp key:
  - series/faia/HeuleM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/HeuleM21
Marijn J. H. Heule, Hans van Maaren:
Look-Ahead Based SAT Solvers. 183-212
- view
  authority control:
- export record
  dblp key:
  - series/faia/KautzSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/KautzSS21
Henry A. Kautz, Ashish Sabharwal, Bart Selman:
Incomplete Algorithms. 213-232
- view
  authority control:
- export record
  dblp key:
  - series/faia/BussN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BussN21
Sam Buss, Jakob Nordström:
Proof Complexity and SAT Solving. 233-350
- view
  authority control:
- export record
  dblp key:
  - series/faia/Kullmann21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Kullmann21
Oliver Kullmann:
Fundaments of Branching Heuristics. 351-390
- view
  authority control:
- export record
  dblp key:
  - series/faia/BiereJK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BiereJK21
Armin Biere, Matti Järvisalo, Benjamin Kiesl:
Preprocessing in SAT Solving. 391-435
- view
  authority control:
- export record
  dblp key:
  - series/faia/Achlioptas21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Achlioptas21
Dimitris Achlioptas:
Random Satisfiabiliy. 437-462
- view
  authority control:
- export record
  dblp key:
  - series/faia/GomesS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GomesS21
Carla P. Gomes, Ashish Sabharwal:
Exploiting Runtime Variation in Complete Solvers. 463-480
- view
  authority control:
- export record
  dblp key:
  - series/faia/HoosHL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/HoosHL21
Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Automated Configuration and Selection of SAT Solvers. 481-507
- view
  authority control:
- export record
  dblp key:
  - series/faia/Sakallah21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Sakallah21
Karem A. Sakallah:
Symmetry and Satisfiability. 509-570
- view
  authority control:
- export record
  dblp key:
  - series/faia/BuningK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BuningK21
Hans Kleine Büning, Oliver Kullmann:
Minimal Unsatisfiability and Autarkies. 571-633
- view
  authority control:
- export record
  dblp key:
  - series/faia/Heule21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Heule21
Marijn J. H. Heule:
Proofs of Unsatisfiability. 635-668
- view
  authority control:
- export record
  dblp key:
  - series/faia/DantsinH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/DantsinH21
Evgeny Dantsin, Edward A. Hirsch:
Worst-Case Upper Bounds. 669-692
- view
  authority control:
- export record
  dblp key:
  - series/faia/SamerS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/SamerS21
Marko Samer, Stefan Szeider:
Fixed-Parameter Tractability. 693-736
- view
  authority control:
- export record
  dblp key:
  - series/faia/Biere21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Biere21
Armin Biere:
Bounded Model Checking. 739-764
- view
  authority control:
- export record
  dblp key:
  - series/faia/Rintanen21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Rintanen21
Jussi Rintanen:
Planning and SAT. 765-789
- view
  authority control:
- export record
  dblp key:
  - series/faia/Kroening21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Kroening21
Daniel Kroening:
Software Verification. 791-818
- view
  authority control:
- export record
  dblp key:
  - series/faia/Zhang21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Zhang21
Hantao Zhang:
Combinatorial Designs by SAT Solvers. 819-858
- view
  authority control:
- export record
  dblp key:
  - series/faia/AltarelliMSZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/AltarelliMSZ21
Fabrizio Altarelli, Rémi Monasson, Guilhem Semerjian, Francesco Zamponi:
Connections to Statistical Physics. 859-901
- view
  authority control:
- export record
  dblp key:
  - series/faia/LiM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/LiM21
Chu Min Li, Felip Manyà:
MaxSAT, Hard and Soft Constraints. 903-927
- view
  authority control:
- export record
  dblp key:
  - series/faia/BacchusJM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BacchusJM21
Fahiem Bacchus, Matti Järvisalo, Ruben Martins:
Maximum Satisfiability. 929-991
- view
  authority control:
- export record
  dblp key:
  - series/faia/GomesSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GomesSS21
Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Model Counting. 993-1014
- view
  authority control:
- export record
  dblp key:
  - series/faia/ChakrabortyMV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/ChakrabortyMV21
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Approximate Model Counting. 1015-1045
- view
  authority control:
- export record
  dblp key:
  - series/faia/DrechslerJN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/DrechslerJN21
Rolf Drechsler, Tommi A. Junttila, Ilkka Niemelä:
Non-Clausal SAT and ATPG. 1047-1086
- view
  authority control:
- export record
  dblp key:
  - series/faia/RousselM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/RousselM21
Olivier Roussel, Vasco Manquinho:
Pseudo-Boolean and Cardinality Constraints. 1087-1129
- view
  authority control:
- export record
  dblp key:
  - series/faia/BuningB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BuningB21
Hans Kleine Büning, Uwe Bubeck:
Theory of Quantified Boolean Formulas. 1131-1156
- view
  authority control:
- export record
  dblp key:
  - series/faia/GiunchigliaMN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GiunchigliaMN21
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. 1157-1176
- view
  authority control:
- export record
  dblp key:
  - series/faia/BeyersdorffJLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BeyersdorffJLS21
Olaf Beyersdorff, Mikolás Janota, Florian Lonsing, Martina Seidl:
Quantified Boolean Formulas. 1177-1221
- view
  authority control:
- export record
  dblp key:
  - series/faia/SebastianiT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/SebastianiT21
Roberto Sebastiani, Armando Tacchella:
SAT Techniques for Modal and Description Logics. 1223-1266
- view
  authority control:
- export record
  dblp key:
  - series/faia/BarrettSST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BarrettSST21
Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli:
Satisfiability Modulo Theories. 1267-1329
- view
  authority control:
- export record
  dblp key:
  - series/faia/Majercik21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/Majercik21
Stephen M. Majercik:
Stochastic Boolean Satisfiability. 1331-1369

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.