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.