Title of article
The state of SAT Original Research Article
Author/Authors
Henry Kautz، نويسنده , , Bart Selman، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
11
From page
1514
To page
1524
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
Boolean satisfiability , Complexity , Challenge problems
Journal title
Discrete Applied Mathematics
Serial Year
2007
Journal title
Discrete Applied Mathematics
Record number
886524
Link To Document