U. Egly: "Translations from QBFs to First-order Logic"; Talk: Deduktionstreffen, Klagenfurt; 2016-09-26.
Project Head Uwe Egly: Quantified Boolean Formulas