[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Lonsing, M. Seidl:
"The QBF Gallery 2013";
Talk: International Workshop on Quantified Boolean Formulas, Helsinki; 2013-07-09.


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