Talks and Poster Presentations (without Proceedings-Entry):
M. Suda:
"The mystery of QBF tautologies";
Talk: Prague Automated Reasoning Seminar,
Prague, Czech Republick;
2016-12-27.
Created from the Publication Database of the Vienna University of Technology.