Browsing by Author Schlaipfer, M
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2014 | Reduction of resolution refutations and interpolants via subsumption | Bloem, R; Malik, S; Schlaipfer, M; Weissenbacher, G |