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
The source code of our tool is here.
The data from our experimental evaluation are here: experimental evaluation except quantom (17.1 GiB), experimental evulation quantom part (3.4 GiB).
© Viktor Schuppan
Last modified 17 June 2020