| 2004 | Encoding Global Unobservability for Efficient Translation to SAT. | Miroslav N. Velev |
| 2004 | UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. | Dave A. D. Tompkins, Holger H. Hoos |
| 2004 | UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT. | Dave A. D. Tompkins, Holger H. Hoos |
| 2004 | Solving Non-clausal Formulas with DPLL search. | Christian Thiffault, Fahiem Bacchus, Toby Walsh |
| 2004 | Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. | Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik |
| 2004 | Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. | Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik |
| 2004 | NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. | Sathiamoorthy Subbarayan, Dhiraj K. Pradhan |
| 2004 | NiVER: Non Increasing Variable Elimination Resolution for Preprocessing SAT instances. | Sathiamoorthy Subbarayan, Dhiraj K. Pradhan |
| 2004 | A Note on Satisfying Truth-Value Assignments of Boolean Formulas. | Zbigniew Stachniak |
| 2004 | Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) | Carsten Sinz, Wolfgang Kchlin |
| 2004 | Visualizing the Internal Structure of SAT Instances (Preliminary Report) | Carsten Sinz |
| 2004 | Satisfiability Threshold of the Skewed Random | Danila A. Sinopalnikov |
| 2004 | Satisfiability Threshold of the Skewed Random k-SAT. | Danila A. Sinopalnikov |
| 2004 | The Optimality of a Fast CNF Conversion and its Use with SAT. | Daniel Sheridan |
| 2004 | Combining Component Caching and Clause Learning for Effective Model Counting. | Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi |
| 2004 | A Comparative Study of 2QBF Algorithms. | Darsh Ranjan, Daijue Tang, Sharad Malik |
| 2004 | Local Search for Very Large SAT Problems. | Steven D. Prestwich, Colin Quirke |
| 2004 | Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems. | Stefan Porschen, Ewald Speckenmeyer |
| 2004 | Worst Case Bounds for some NP-Complete Modified Horn-SAT Problems. | Stefan Porschen, Ewald Speckenmeyer |
| 2004 | Search vs. Symbolic Techniques in Satisfiability Solving. | Guoqiang Pan, Moshe Y. Vardi |
| 2004 | Search vs. Symbolic Techniques in Satisfiability Solving. | Guoqiang Pan, Moshe Y. Vardi |
| 2004 | Detecting Backdoor Sets with Respect to Horn and Binary Clauses. | Naomi Nishimura, Prabhakar Ragde, Stefan Szeider |
| 2004 | Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. | Vasco M. Manquinho, Joo Marques-Silva |
| 2004 | Zchaff2004: An Efficient SAT Solver. | Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik |
| 2004 | On Computing Minimum Unsatisfiable Cores. | Ins Lynce, Joo Marques-Silva |