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: M. Alamaniotis (ed.): Special Issue on Selected Papers from the 30th Annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2018), International Journal on Artificial Intelligence Tools 29 (3 & 4) 2020: pp. 2060012:1-2060012:27. World Scientific, 2020. doi:10.1142/S021821302060012X

Download:

• journal: publisher, preprint (zipped)
• extended version: here, (zipped)

For more plots, source code, and the data from the experimental evaluation see the conference version.