Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"On the Relation between Resolution Calculi for QBFs and First-order Formulas";
Talk: International Workshop on Quantified Boolean Formulas,
Wien;
2014-07-13.
Related Projects:
Project Head Uwe Egly: Quantified Boolean Formulas