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