Reduction of Resolution Refutations and Interpolants via Subsumption.

Author

Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher

Publication Year

2014

Type

Conference Paper

Conference Name

Haifa Verification Conference