| 2006 | Minimum Witnesses for Unsatisfiable 2CNFs. | Joshua Buresh-Oppenheim, David G. Mitchell |
| 2006 | Minimal False Quantified Boolean Formulas. | Hans Kleine Bning, Xishun Zhao |
| 2006 | Efficiency of Local Search. | Andrei A. Bulatov, Evgeny S. Skvortsov |
| 2006 | Dependency Quantified Horn Formulas: Models and Complexity. | Uwe Bubeck, Hans Kleine Bning |
| 2006 | A Complete Calculus for Max-SAT. | Maria Luisa Bonet, Jordi Levy, Felip Many |
| 2006 | CSPs: Adding Structure to SAT. | Fahiem Bacchus |
| 2005 | Model-Equivalent Reductions. | Xishun Zhao, Hans Kleine Bning |
| 2005 | On Subsumption Removal and On-the-Fly CNF Simplification. | Lintao Zhang |
| 2005 | Benchmarking SAT Solvers for Bounded Model Checking. | Emmanuel Zarpas |
| 2005 | A New Approach to Model Counting. | Wei Wei, Bart Selman |
| 2005 | Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable. | Magnus Wahlstrm |
| 2005 | Constraint Metrics for Local Search. | Finnegan Southey |
| 2005 | DPvis - A Tool to Visualize the Structure of SAT Instances. | Carsten Sinz, Edda-Maria Dieringer |
| 2005 | A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic. | Hossein M. Sheini, Karem A. Sakallah |
| 2005 | Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability. | Sakari Seitz, Mikko Alava, Pekka Orponen |
| 2005 | Heuristics for Fast Exact Model Counting. | Tian Sang, Paul Beame, Henry A. Kautz |
| 2005 | Derandomization of PPSZ for Unique- | Daniel Rolf |
| 2005 | Random Walk with Continuously Smoothed Variable Weights. | Steven D. Prestwich |
| 2005 | A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. | Maher N. Mneimneh, Ins Lynce, Zaher S. Andraus, Joo Marques-Silva, Karem A. Sakallah |
| 2005 | A New Set of Algebraic Benchmark Problems for SAT Solvers. | Andreas Meier, Volker Sorge |
| 2005 | Optimizations for Compiling Declarative Models into Boolean Formulas. | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
| 2005 | On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. | Vasco Manquinho, Joo Marques-Silva |
| 2005 | Sums of Squares, Satisfiability and Maximum Satisfiability. | Hans van Maaren, Linda van Norden |
| 2005 | FPGA Logic Synthesis Using Quantified Boolean Satisfiability. | Andrew C. Ling, Deshanand P. Singh, Stephen Dean Brown |
| 2005 | Diversification and Determinism in Local Search for Satisfiability. | Chu Min Li, Wen Qi Huang |