Volume 24,
Numbers 1/2,
February 2000
- Ian P. Gent, Toby Walsh:
Satisfiability in the Year 2000.
1-3 BibTeX
- Miron Abramovici, José T. de Sousa:
A SAT Solver Using Reconfigurable Hardware and Virtual Logic.
5-36 BibTeX
- Etienne de Klerk, Hans van Maaren, Joost P. Warners:
Relaxations of the Satisfiability Problem Using Semidefinite Programming.
37-65 BibTeX
- Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz:
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.
67-100 BibTeX
- Jan Friso Groote, Joost P. Warners:
The Propositional Formula Checker HeerHugo.
101-125 BibTeX
- Edward A. Hirsch:
SAT Local Search Algorithms: Worst-Case Study.
127-143 BibTeX
- Wolfgang Küchlin, Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management.
145-163 BibTeX
- Fabio Massacci, Laura Marraro:
Logical Cryptanalysis as a SAT Problem.
165-203 BibTeX
- Patrick Mills, Edward P. K. Tsang:
Guided Local Search for Solving SAT and Weighted MAX-SAT Problems.
205-223 BibTeX
- Irina Rish, Rina Dechter:
Resolution versus Search: Two Strategies for SAT.
225-275 BibTeX
- Hantao Zhang, Mark E. Stickel:
Implementing the Davis-Putnam Method.
277-296 BibTeX
Volume 24,
Number 3,
April 2000
Volume 24,
Number 4,
May 2000
Copyright © Sun May 17 00:06:24 2009
by Michael Ley (ley@uni-trier.de)
