Journal on Satisfiability, Boolean Modeling and Computation, Volume 1

Volume 1, Number 1, March 2006

• Miguel F. Anjos:
  Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems. 1-47
  Electronic Edition (link) BibTeX
• Evgeny Dantsin, Alexander Wolpert:
  A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length. 49-60
  Electronic Edition (link) BibTeX
• Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis:
  Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. 61-88
  Electronic Edition (link) BibTeX

Volume 1, Number 2, December 2006

• Sean Weaver, John V. Franco, John S. Schlipf:
  Extending Existential Quantification in Conjunctions of BDDs. 89-110
  Electronic Edition (link) BibTeX
• Daniel Rolf:
  Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT. 111-122
  Electronic Edition (link) BibTeX
• Eliezer L. Lozinskii:
  Impurity: Another Phase Transition of SAT. 123-141
  Electronic Edition (link) BibTeX
• Konstantin Kutzkov:
  A Note on the Use of Independent Sets for the k-SAT Problem. 143-145
  Electronic Edition (link) BibTeX

Volume 1, Numbers 3-4, May 2007

• Youssef Hamadi, Lucas Bordeaux:
  Preface.
  Electronic Edition (link) BibTeX
• Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
  Recording and Minimizing Nogoods from Restarts. 147-167
  Electronic Edition (link) BibTeX
• Christophe Lecoutre, Lakhdar Saïs, Julien Vion:
  Using SAT Encodings to Drive CSP Value Ordering Heuristics. 169-186
  Electronic Edition (link) BibTeX
• Shuvendu K. Lahiri, Krishna K. Mehra:
  Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic. 187-207
  Electronic Edition (link) BibTeX
• Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert:
  Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. 209-236
  Electronic Edition (link) BibTeX