Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers

This page contains additional material for the following paper:

V. Schuppan: Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. In: L. Tsoukalas, É. Grégoire, M. Alamaniotis (eds.): IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, Volos, Greece, November 5-7, 2018, pp. 81-89. IEEE, 2018. doi:10.1109/ICTAI.2018.00023

Download:

• proceedings: publisher, preprint (zipped), BibTeX,
• extended version with appendix A only: here (zipped),
• extended version with all appendices: here (zipped).
• slides.

Source Code

The source code of our tool is here.

Experimental Evaluation

The data from our experimental evaluation are here: experimental evaluation except quantom (17.1 GiB), experimental evulation quantom part (3.4 GiB).