Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

DAM
2007

favoriteEmaildiscussreport

67views more DAM 2007»

The state of SAT

13 years 4 months ago

The state of SAT

Download www.cs.cornell.edu

The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisﬁability Testing. This foreword reviews the current state of satisﬁability testing and places the papers in this issue in context. Key words: Boolean satisﬁability, complexity, challenge problems.

Henry A. Kautz, Bart Selman

Real-time Traffic

Current State | DAM 2007 | Fourth International Symposium | Special Issue |

claim paper

Related Content

» Algorithms for Maximum Satisfiability using Unsatisfiable Cores

» Symmetry Breaking for Maximum Satisfiability

» State Set Management for SATbased Unbounded Model Checking

» Detecting State Coding Conflicts in STG Unfoldings Using SAT

» A SATbased procedure for verifying finite state machines in ACL2

» Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computa...

» Generation of shorter sequences for high resolution error diagnosis using sequential SAT

» Utilizing dont care states in SATbased bounded sequential problems

» A Nonprenex Nonclausal QBF Solver with GameState Learning

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	DAM
Authors	Henry A. Kautz, Bart Selman

Comments (0)