Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"Translations from QBFs to First-order Logic";
Talk: Deduktionstreffen,
Klagenfurt;
2016-09-26.
Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.