| 2010 | Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold. | Yacine Boufkhad, Thomas Hugel |
| 2010 | A System for Solving Constraint Satisfaction Problems with SMT. | Miquel Bofill, Josep Suy, Mateu Villaret |
| 2010 | Proof Complexity of Propositional Default Logic. | Olaf Beyersdorff, Arne Meier, Sebastian Mller, Michael Thomas, Heribert Vollmer |
| 2010 | Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas. | Eli Ben-Sasson, Jan Johannsen |
| 2010 | Improved Local Search for Circuit Satisfiability. | Anton Belov, Zbigniew Stachniak |
| 2010 | Improving Stochastic Local Search for SAT with a New Probability Distribution. | Adrian Balint, Andreas Frhlich |
| 2010 | On Solving MaxSAT Through SAT. | Carlos Anstegui, Maria Luisa Bonet, Jordi Levy |
| 2009 | Symbolic Techniques in Propositional Satisfiability Solving. | Moshe Y. Vardi |
| 2009 | Variable Influences in Conjunctive Normal Forms. | Patrick Traxler |
| 2009 | The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT. | Stefan Szeider |
| 2009 | Minimizing Learned Clauses. | Niklas Srensson, Armin Biere |
| 2009 | Extending SAT Solvers to Cryptographic Problems. | Mate Soos, Karsten Nohl, Claude Castelluccia |
| 2009 | A Theoretical Analysis of Search in GSAT. | Evgeny S. Skvortsov |
| 2009 | Problem-Sensitive Restart Heuristics for the DPLL Procedure. | Carsten Sinz, Ashlin Iser |
| 2009 | Dynamic Symmetry Breaking by Simulating Zykov Contraction. | Bas Schaafsma, Marijn Heule, Hans van Maaren |
| 2009 | Encoding Treewidth into SAT. | Marko Samer, Helmut Veith |
| 2009 | On Some Aspects of Mixed Horn Formulas. | Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer |
| 2009 | Width-Based Restart Policies for Clause-Learning Satisfiability Solvers. | Knot Pipatsrisawat, Adnan Darwiche |
| 2009 | c-sat: A Parallel SAT Solver for Clusters. | Kei Ohmura, Kazunori Ueda |
| 2009 | Instance-Based Selection of Policies for SAT Solvers. | Mladen Nikolic, Filip Maric, Predrag Janicic |
| 2009 | SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms. | Robert Nieuwenhuis |
| 2009 | Algorithms for Weighted Boolean Optimization. | Vasco Manquinho, Joo Marques-Silva, Jordi Planes |
| 2009 | A Compact Representation for Syntactic Dependencies in QBFs. | Florian Lonsing, Armin Biere |
| 2009 | Exploiting Cycle Structures in Max-SAT. | Chu Min Li, Felip Many, Nouredine Ould Mohamedou, Jordi Planes |
| 2009 | Generalizing Core-Guided Max-SAT. | Mark H. Liffiton, Karem A. Sakallah |