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),
- 2014-11-20; in: "Haifa Verification Conference (HVC)",
Springer / LNCS,
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.