Talks and Poster Presentations (with Proceedings-Entry):

R. Bloem, S. Malik, M. Schlaipfer, G. Weissenbacher:
"Reduction of Resolution Refutations and Interpolants via Subsumption";
Talk: Haifa Verification Conference (HVC), Haifa, Isral; 2014-11-18 - 2014-11-20; in: "Haifa Verification Conference (HVC)", Springer / LNCS, 8855 (2014), ISBN: 978-3-319-13337-9; 188 - 203.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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