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:

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).