Talks and Poster Presentations (without Proceedings-Entry):
U. Egly:
"Quantifier Handling in Different Calculi for Quantified Boolean Formulas";
Talk: Algebra, Logic and Algorithms seminar,
University of Leeds, United Kingdom (invited);
2014-12-10.
Related Projects:
Project Head Uwe Egly: Quantified Boolean Formulas