Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"Quantifier handling in calculi for quantified Boolean formulas";
Talk: International Workshop on Quantification (QUANTIFY),
Wien (invited);
2014-07-18.
Related Projects:
Project Head Uwe Egly: Quantified Boolean Formulas