Sciweavers

DAM
2007
67views more  DAM 2007»
13 years 11 months ago
The state of SAT
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
Henry A. Kautz, Bart Selman