Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers.

Viktor Schuppan

Browse the full ICTAI paper archive.