[Back]


Talks and Poster Presentations (without Proceedings-Entry):

B. Kiesl, M. Suda:
"First-Order Logic and Blocked Clauses";
Talk: 4th International Workshop on Quantified Boolean Formulas (QBF 2016), Bordeaux, France; 2016-07-04.


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