Viktor Schuppan. Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. In Lefteri H. Tsoukalas, Éric Grégoire, Miltiadis Alamaniotis, editors, IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece. pages 81-89, IEEE, 2018. [doi]
Abstract is missing.