On QBF Proofs and Preprocessing

(additional materials)

Experiments

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.

Third party tools

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

[HOME]


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