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.