| 2005 | A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas. Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah |
| 2005 | A Branching Heuristics for Quantified Renamable Horn Formulas. Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe |
| 2005 | A Clause-Based Heuristic for SAT Solvers. Nachum Dershowitz, Ziyad Hanna, Alexander Nadel |
| 2005 | A New Approach to Model Counting. Wei Wei, Bart Selman |
| 2005 | A New Set of Algebraic Benchmark Problems for SAT Solvers. Andreas Meier, Volker Sorge |
| 2005 | A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic. Hossein M. Sheini, Karem A. Sakallah |
| 2005 | A Symbolic Search Based Approach for Quantified Boolean Formulas. Gilles Audemard, Lakhdar Sais |
| 2005 | An Improved Upper Bound for SAT. Evgeny Dantsin, Alexander Wolpert |
| 2005 | Automated Generation of Simplification Rules for SAT and MAXSAT. Alexander S. Kulikov |
| 2005 | Benchmarking SAT Solvers for Bounded Model Checking. Emmanuel Zarpas |
| 2005 | Bounded Model Checking with QBF. Nachum Dershowitz, Ziyad Hanna, Jacob Katz |
| 2005 | Constraint Metrics for Local Search. Finnegan Southey |
| 2005 | Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas. Roman Gershman, Ofer Strichman |
| 2005 | DPvis - A Tool to Visualize the Structure of SAT Instances. Carsten Sinz, Edda-Maria Dieringer |
| 2005 | Derandomization of PPSZ for Unique- Daniel Rolf |
| 2005 | Diversification and Determinism in Local Search for Satisfiability. Chu Min Li, Wen Qi Huang |
| 2005 | Effective Preprocessing in SAT Through Variable and Clause Elimination. Niklas Eén, Armin Biere |
| 2005 | Equivalence Checking of Circuits with Parameterized Specifications. Eugene Goldberg |
| 2005 | FPGA Logic Synthesis Using Quantified Boolean Satisfiability. Andrew C. Ling, Deshanand P. Singh, Stephen Dean Brown |
| 2005 | Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable. Magnus Wahlström |
| 2005 | Heuristics for Fast Exact Model Counting. Tian Sang, Paul Beame, Henry A. Kautz |
| 2005 | Improved Exact Solvers for Weighted Max-SAT. Teresa Alsinet, Felip Manyà, Jordi Planes |
| 2005 | Input Distance and Lower Bounds for Propositional Resolution Proof Length. Allen Van Gelder |
| 2005 | Local and Global Complete Solution Learning Methods for QBF. Ian P. Gent, Andrew G. D. Rowley |
| 2005 | Model-Equivalent Reductions. Xishun Zhao, Hans Kleine Büning |
| 2005 | Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming. Marijn Heule, Hans van Maaren |
| 2005 | On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. Vasco Manquinho, João Marques-Silva |
| 2005 | On Finding All Minimally Unsatisfiable Subformulas. Mark H. Liffiton, Karem A. Sakallah |
| 2005 | On Subsumption Removal and On-the-Fly CNF Simplification. Lintao Zhang |
| 2005 | Optimizations for Compiling Declarative Models into Boolean Formulas. Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
| 2005 | Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. Uwe Bubeck, Hans Kleine Büning, Xishun Zhao |
| 2005 | Quantifier Trees for QBFs. Marco Benedetti |
| 2005 | Random Walk with Continuously Smoothed Variable Weights. Steven D. Prestwich |
| 2005 | Resolution Tunnels for Improved SAT Solver Performance. Michal Kouril, John V. Franco |
| 2005 | Resolution and Pebbling Games. Nicola Galesi, Neil Thapen |
| 2005 | Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution. Edward A. Hirsch, Sergey I. Nikolenko |
| 2005 | Solving Over-Constrained Problems with SAT Technology. Josep Argelich, Felip Manyà |
| 2005 | Speedup Techniques Utilized in Modern SAT Solvers. Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
| 2005 | Substitutional Definition of Satisfiability in Classical Propositional Logic. Anton Belov, Zbigniew Stachniak |
| 2005 | Sums of Squares, Satisfiability and Maximum Satisfiability. Hans van Maaren, Linda van Norden |
| 2005 | Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings Fahiem Bacchus, Toby Walsh |
| 2005 | Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability. Sakari Seitz, Mikko Alava, Pekka Orponen |
| 2005 | Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. Vijay Durairaj, Priyank Kalla |