Browsing by Author Weissenbacher, G
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 26-Aug-2015 | Boolean Satisfiability Solvers and Their Applications in Model Checking | Vizel, Y; Weissenbacher, G; Malik, Sharad |
| 2014 | Reduction of resolution refutations and interpolants via subsumption | Bloem, R; Malik, S; Schlaipfer, M; Weissenbacher, G |