[Back]


Talks and Poster Presentations (with Proceedings-Entry):

M. Heule, M. Seidl, A. Biere:
"A Unified Proof System for QBF Preprocessing";
Talk: IJCAR, Wien; 2014-07-19 - 2014-07-22; in: "Proceedings of the 7th International Joint Conference on Automated Reasoning", LNCS/Springer, 8562 (2014), ISBN: 978-3-319-08587-6; 91 - 106.



Electronic version of the publication:
http://link.springer.com/chapter/10.1007%2F978-3-319-08587-6_7


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