QBFLIB - The Quantified Boolean Formulas Satisfiability Library

Overview:

• Introduction
• QBF Benchmark Problems:
  • The complete collection
  • QBF evaluation 2003
• QBF Solvers
• QBF Annotated Bibliography
• Links to Related Sites
• Some People Involved in QBF Research
• QBF-related Events

Introduction

The QBFLIB benchmark suite is currently comprised of more than 4000 instances.

The QBFLIB solvers collection lists the web sites of all the QBF solvers we are currently aware of.

The QBF Annotated Bibliography contains pointers to papers on QBF solvers, algorithms, and applications as well as closely related areas. This section is still incomplete and we appreciate to get references to papers you would like to see included in this list.

Finally, QBFLIB maintains lists of links to related sites, of people involved in QBF research, and QBF-related events.

Please help us to keep QBFLIB updated by submitting new benchmark problems, solvers, and tools. Consult the submission guidelines and/or contact us by email. if you want to learn more about the submission process. Your collaboration is essential to improve QBFLIB, so do not hesitate to send us feedback, comments, and suggestions.