The IJCAI Computational Challenge in Propositional Reasoning and Search

Henry Kautz Bart Selman
University of Washington Cornell University

This is a repository for challenges, problem instances, problem generators, solvers, and benchmark results for propositional satisfiability testing, as described in the paper:

SAT Resources

Responses to Challenges

Other Resources