[Back]


Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"Evaluating QBF Solvers: Quantifier Alternations Matter";
Talk: Alpine Verification Meeting, Visegrad, Hungary; 2017-09-18 - 2017-09-21.

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

Created from the Publication Database of the Vienna University of Technology.