| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 419037 | Discrete Applied Mathematics | 2007 | 11 Pages |
Abstract
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 current state of satisfiability testing and places the papers in this issue in context.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Henry Kautz, Bart Selman,