Volume 43,
Number 1,
January 2005
- Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann:
On SAT instance classes and a method for reliable performance experiments with SAT solvers.
1-34
Electronic Edition (link) BibTeX
- Renato Bruni:
On exact selection of minimally unsatisfiable subformulae.
35-50
Electronic Edition (link) BibTeX
- Philippe Chapdelaine, Nadia Creignou:
The complexity of Boolean constraint satisfaction local search problems.
51-63
Electronic Edition (link) BibTeX
- Eugene Goldberg:
Testing satisfiability of CNF formulas by computing a stable set of points.
65-89
Electronic Edition (link) BibTeX
- Edward A. Hirsch, Arist Kojevnikov:
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination.
91-111
Electronic Edition (link) BibTeX
- Hans Kleine Büning, Daoyun Xu:
The complexity of homomorphisms and renamings for minimal unsatisfiable formulas.
113-127
Electronic Edition (link) BibTeX
- Gabor Kusper:
Solving the resolution-free SAT problem by submodel propagation in linear time.
129-136
Electronic Edition (link) BibTeX
- Inês Lynce, João P. Marques Silva:
Efficient data structures for backtrack search SAT solvers.
137-152
Electronic Edition (link) BibTeX
- Simona Cocco, Rémi Monasson:
Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT.
153-172
Electronic Edition (link) BibTeX
- Stefan Porschen, Bert Randerath, Ewald Speckenmeyer:
Exact 3-satisfiability is decidable in time O(20.16254n).
173-193
Electronic Edition (link) BibTeX
- Steven David Prestwich, Stéphane Bressan:
A SAT approach to query optimization in mediator systems.
195-210
Electronic Edition (link) BibTeX
- Daniele Pretolani:
Probability logic and optimization SAT: The PSAT and CPA models.
211-221
Electronic Edition (link) BibTeX
- Stefan Szeider:
Generalizations of matched CNF formulas.
223-238
Electronic Edition (link) BibTeX
- Allen Van Gelder:
Toward leaner binary-clause reasoning in a satisfiability solver.
239-253
Electronic Edition (link) BibTeX
- Uwe Egly, Reinhard Pichler, Stefan Woltran:
On deciding subsumption problems.
255-294
Electronic Edition (link) BibTeX
- Hans Kleine Büning, Xishun Zhao:
Extension and equivalence problems for clause minimal formulae.
295-306
Electronic Edition (link) BibTeX
- Laurent Simon, Daniel Le Berre, Edward A. Hirsch:
The SAT2002 competition.
307-342
Electronic Edition (link) BibTeX
- Paul W. Purdom, Daniel Le Berre, Laurent Simon:
A parsimony tree for the SAT2002 competition.
343-365
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:50:16 2009
by Michael Ley (ley@uni-trier.de)