[Back]


Contributions to Proceedings:

B. Woltzenlogel-Paleo et al.:
"Towards the Compression of First-Order Resolution Proofs by Lowering Unit Clauses";
in: "Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings", 9195; A. Middeldorp et al. (ed.); Springer, LNAI, 2015, ISBN: 978-3-319-21401-6, 356 - 366.



Electronic version of the publication:
http://www.springer.com/de/book/9783319214009


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