SAT (Selected Papers

Keyphrases

Publications

2004

Dave A. D. Tompkins, Holger H. Hoos
UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT. SAT (Selected Papers (2004)
Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
Automatic Extraction of Functional Dependencies. SAT (Selected Papers (2004)
Evgeny Dantsin, Alexander Wolpert
Derandomization of Schuler's Algorithm for SAT. SAT (Selected Papers (2004)
Ravi Gummadi, N. S. Narayanaswamy, Venkatakrishnan Ramaswamy
Algorithms for Satisfiability Using Independent Sets of Variables. SAT (Selected Papers (2004)
Stefan Porschen, Ewald Speckenmeyer
Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems. SAT (Selected Papers (2004)
Hubie Chen, Víctor Dalmau
Looking Algebraically at Tractable Quantified Boolean Formulas. SAT (Selected Papers (2004)
Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren
March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver. SAT (Selected Papers (2004)
Marijn Heule, Hans van Maaren
Aligning CNF- and Equivalence-Reasoning. SAT (Selected Papers (2004)
HoonSang Jin, Fabio Somenzi
CirCUs: A Hybrid Satisfiability Solver. SAT (Selected Papers (2004)
Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik
Zchaff2004: An Efficient SAT Solver. SAT (Selected Papers (2004)
Marco Benedetti, Sara Bernardini
Incremental Compilation-to-SAT Procedures. SAT (Selected Papers (2004)
Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries. SAT (Selected Papers (2004)
Danila A. Sinopalnikov
-SAT. SAT (Selected Papers (2004)
Armin Biere
Resolve and Expand. SAT (Selected Papers (2004)
Yannet Interian
SAT. SAT (Selected Papers (2004)
Hans Kleine Büning, Xishun Zhao
Equivalence Models for Quantified Boolean Formulas. SAT (Selected Papers (2004)
Nicola Galesi, Oliver Kullmann
Polynomial Time SAT Decision, Hypergraph Transversals and the Hermitian Rank. SAT (Selected Papers (2004)
Daniel Le Berre, Laurent Simon
Fifty-Five Solvers in Vancouver: The SAT 2004 Competition. SAT (Selected Papers (2004)
Sathiamoorthy Subbarayan, Dhiraj K. Pradhan
NiVER: Non-increasing Variable Elimination Resolution for Preprocessing SAT Instances. SAT (Selected Papers (2004)
Haixia Jia, Cristopher Moore, Bart Selman
From Spin Glasses to Hard Satisfiable Formulas. SAT (Selected Papers (2004)
Paul B. Jackson, Daniel Sheridan
Clause Form Conversions for Boolean Circuits. SAT (Selected Papers (2004)
Carlos Ansótegui, Felip Manyà
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables. SAT (Selected Papers (2004)
Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers (2004)
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
QBF Reasoning on Real-World Instances. SAT (Selected Papers (2004)
Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik
Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. SAT (Selected Papers (2004)
Guoqiang Pan, Moshe Y. Vardi
Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers (2004)
Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella
The Second QBF Solvers Comparative Evaluation. SAT (Selected Papers (2004)
Jinbo Huang, Adnan Darwiche
Using DPLL for Efficient OBDD Construction. SAT (Selected Papers (2004)