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)
http://dx.doi.org/10.1007/978-3-319-13338-6_15
Created from the Publication Database of the Vienna University of Technology.