11. SAT 2008: Guangzhou, China

• Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà:
  Modelling Max-CSP as Partial Max-SAT. 1-14
  Electronic Edition (link) BibTeX
• Josep Argelich, Chu Min Li, Felip Manyà:
  A Preprocessor for Max-SAT Solvers. 15-20
  Electronic Edition (link) BibTeX
• Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
  A Generalized Framework for Conflict Analysis. 21-27
  Electronic Edition (link) BibTeX
• Armin Biere:
  Adaptive Restart Strategies for Conflict Driven SAT Solvers. 28-33
  Electronic Edition (link) BibTeX
• Nadia Creignou, Hervé Daudé, Uwe Egly, Raphaël Rossignol:
  New Results on the Phase Transition for Random Quantified Boolean Formulas. 34-47
  Electronic Edition (link) BibTeX
• John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang:
  Designing an Efficient Hardware Implication Accelerator for SAT Solving. 48-62
  Electronic Edition (link) BibTeX
• Tobias Eibach, Enrico Pilz, Gunnar Völkel:
  Attacking Bivium Using SAT Solvers. 63-76
  Electronic Edition (link) BibTeX
• Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
  SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. 77-90
  Electronic Edition (link) BibTeX
• Yong Gao:
  Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms. 91-104
  Electronic Edition (link) BibTeX
• Konstantinos Georgiou, Periklis A. Papakonstantinou:
  Complexity and Algorithms for Well-Structured k-SAT Instances. 105-118
  Electronic Edition (link) BibTeX
• Eugene Goldberg:
  A Decision-Making Procedure for Resolution-Based SAT-Solvers. 119-132
  Electronic Edition (link) BibTeX
• Shai Haim, Toby Walsh:
  Online Estimation of SAT Solving Runtime. 133-138
  Electronic Edition (link) BibTeX
• Federico Heras, Javier Larrosa:
  A Max-SAT Inference-Based Pre-processing for Max-Clique. 139-152
  Electronic Edition (link) BibTeX
• Kazuo Iwama:
  SAT, UNSAT and Coloring. 153
  Electronic Edition (link) BibTeX
• Stephan Kottler, Michael Kaufmann, Carsten Sinz:
  Computation of Renameable Horn Backdoors. 154-160
  Electronic Edition (link) BibTeX
• Stephan Kottler, Michael Kaufmann, Carsten Sinz:
  A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. 161-167
  Electronic Edition (link) BibTeX
• Florian Letombe, João Marques-Silva:
  Improvements to Hybrid Incremental SAT Algorithms. 168-181
  Electronic Edition (link) BibTeX
• Mark H. Liffiton, Karem A. Sakallah:
  Searching for Autarkies to Trim Unsatisfiable Clause Sets. 182-195
  Electronic Edition (link) BibTeX
• Florian Lonsing, Armin Biere:
  Nenofex: Expanding NNF for QBF Solving. 196-210
  Electronic Edition (link) BibTeX
• Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe:
  SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. 211-224
  Electronic Edition (link) BibTeX
• João Marques-Silva, Vasco M. Manquinho:
  Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. 225-230
  Electronic Edition (link) BibTeX
• Stefan Porschen, Ewald Speckenmeyer:
  A CNF Class Generalizing Exact Linear Formulas. 231-245
  Electronic Edition (link) BibTeX
• Dominik Scheder, Philipp Zumstein:
  How Many Conflicts Does It Need to Be Unsatisfiable?. 246-256
  Electronic Edition (link) BibTeX
• Zbigniew Stachniak, Anton Belov:
  Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. 257-270
  Electronic Edition (link) BibTeX
• Vadim Ryvchin, Ofer Strichman:
  Local Restarts. 271-276
  Electronic Edition (link) BibTeX
• Alasdair Urquhart:
  Regular and General Resolution: An Improved Separation. 277-290
  Electronic Edition (link) BibTeX
• Hans van Maaren, Siert Wieringa:
  Finding Guaranteed MUSes Fast. 291-304
  Electronic Edition (link) BibTeX