| 2004 | Local Search with Bootstrapping. | Lengning Liu, Miroslaw Truszczynski |
| 2004 | Early Conflict Detection Based BCP for SAT Solving. | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
| 2004 | CirCUs: A Hybrid Satisfiability Solver. | HoonSang Jin, Fabio Somenzi |
| 2004 | CirCUs: A Hybrid Satisfiability Solver. | HoonSang Jin, Fabio Somenzi |
| 2004 | From Spin Glasses to Hard Satisfiable Formulas. | Haixia Jia, Cristopher Moore, Bart Selman |
| 2004 | From Spin Glasses to Hard Satisfiable Formulas. | Haixia Jia, Cristopher Moore, Bart Selman |
| 2004 | Clause Form Conversions for Boolean Circuits. | Paul B. Jackson, Daniel Sheridan |
| 2004 | Approximation Algorithm for Random MAX- | Yannet Interian |
| 2004 | Approximation Algorithm for Random MAX-kSAT. | Yannet Interian |
| 2004 | Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. | Zhuo Huang, Hantao Zhang, Jian Zhang |
| 2004 | Using DPLL for Efficient OBDD Construction. | Jinbo Huang, Adnan Darwiche |
| 2004 | Using DPLL for Efficient OBDD Construction. | Jinbo Huang, Adnan Darwiche |
| 2004 | Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable. | Shlomo Hoory, Stefan Szeider |
| 2004 | Aligning CNF- and Equivalence-Reasoning. | Marijn Heule, Hans van Maaren |
| 2004 | Aligning CNF- and Equivalence-reasoning. | Marijn Heule, Hans van Maaren |
| 2004 | March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. | Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren |
| 2004 | Algorithms for Satisfiability Using Independent Sets of Variables. | Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy |
| 2004 | Algorithms for Satisfiability using Independent Sets of Variables. | Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy |
| 2004 | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2004 | Automatic Extraction of Functional Dependencies. | ric Grgoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais |
| 2004 | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank. | Nicola Galesi, Oliver Kullmann |
| 2004 | Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank. | Nicola Galesi, Oliver Kullmann |
| 2004 | Efficient Implementations of SAT Local Search. | Alex S. Fukunaga |