On QBF Proofs and Preprocessing

(additional materials)

• Authors: Mikoláš Janota, Radu Grigore, J. Marques-Silva
• Contact: mikolas DOT janota AT gmail DOT com

Experiments

• Logs
• scripts

Tools modified by us, or developed by us

The following are linux executables compiled on Ubuntu 12. Please contact us if you have trouble running them, or if you wish to see the source code.

• bloqqer (preprocessor; we added tracing capabilities)
• backport (reconstructs QBC certificates from traces produced by bloqqer)
• aig2qbc (use to construct QBC certificates via depqbf)
• kingCC (QBC certificate checker)

Third party tools

The following are links to the homepages of the third-party tools that we used unmodified.

• depqbf (QBF solver with tracing capabilities)
• qrpcert and qrpcheck (used to construct QBC certificates via depqbf)

[HOME]

---

Last updated: Dec 27, 2013 17:59:48