This page contains additional material for the following paper:
V. Schuppan: Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. In: 30th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2018, Volos, Greece, November 5-7, 2018, pp. 81-89.
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 8 November 2018