[Back]


Talks and Poster Presentations (without Proceedings-Entry):
F. Lonsing, M. Seidl:
"The QBF Gallery 2013";
Talk: 16th International Conference on Theory and Applications of Satisfiability Testing, Helsinki; 2013-07-08 - 2013-07-12.

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