Matthias Schlaipfer

First name

Matthias

Last name

Schlaipfer

Bloem, Roderick, Sharad Malik, Matthias Schlaipfer, and Georg Weissenbacher. 2014. “Reduction of Resolution Refutations and Interpolants via Subsumption.”. In Haifa Verification Conference, 188–203.

Reference Link