[Back]


Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing:
"An Introduction to QBF Solving";
Talk: The Second Indian SAT+SMT School, Mysuru, India (invited); 2017-12-06 - 2017-12-08.

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

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