| 2004 | Boolean Ring Satisfiability. | Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss |
| 2004 | Derandomization of Schuler's Algorithm for SAT. | Evgeny Dantsin, Alexander Wolpert |
| 2004 | Derandomization of Schuler's Algorithm for SAT. | Evgeny Dantsin, Alexander Wolpert |
| 2004 | A Random Constraint Satisfaction Problem That Seems Hard for DPLL. | Harold S. Connamacher |
| 2004 | Looking Algebraically at Tractable Quantified Boolean Formulas. | Hubie Chen, Vctor Dalmau |
| 2004 | Looking Algebraically at Tractable Quantified Boolean Formulas. | Hubie Chen, Vctor Dalmau |
| 2004 | Using Rewarding Mechanisms for Improving Branching Heuristics. | Elsa Carvalho, Joo Marques-Silva |
| 2004 | Equivalence Models for Quantified Boolean Formulas. | Hans Kleine Bning, Xishun Zhao |
| 2004 | Equivalence Models for Quantified Boolean Formulas. | Hans Kleine Bning, Xishun Zhao |
| 2004 | Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. | Renato Bruni, Andrea Santori |
| 2004 | Resolve and Expand. | Armin Biere |
| 2004 | Resolve and Expand. | Armin Biere |
| 2004 | Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. | Daniel Le Berre, Laurent Simon |
| 2004 | The Second QBF Solvers Comparative Evaluation. | Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella |
| 2004 | Incremental Compilation-to-SAT Procedures. | Marco Benedetti, Sara Bernardini |
| 2004 | Incremental Compilation-to-SAT Procedures. | Marco Benedetti, Sara Bernardini |
| 2004 | An Algebraic Approach to the Complexity of Generalized Conjunctive Queries. | Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer |
| 2004 | An Algebraic Approach to the Complexity of Generalized Conjunctive Queries. | Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer |
| 2004 | Full CNF Encoding: The Counting Constraints Case. | Olivier Bailleux, Yacine Boufkhad |
| 2004 | Dealing with Symmetries in Quantified Boolean Formulas. | Gilles Audemard, Bertrand Mazure, Lakhdar Sais |
| 2004 | A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2004 | A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2004 | Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables. | Carlos Anstegui, Felip Many |
| 2004 | Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables. | Carlos Anstegui, Felip Many |
| 2003 | Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms. | Lintao Zhang, Sharad Malik |