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 current state of satisfiability testing and places the papers in this issue in context. Key words: Boolean satisfiability, complexity, challenge problems.

• Type: Journal
• Year: 2007
• Where: DAM
• Authors: Henry A. Kautz, Bart Selman
• Keywords: Current State, DAM 2007, Fourth International Symposium, Special Issue