Title of article :
The state of SAT Original Research Article
Author/Authors :
Henry Kautz، نويسنده , , Bart Selman، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
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
Journal title :
Discrete Applied Mathematics
