Skip to main content

Browsing by Author Weissenbacher, G

Showing results 1 to 2 of 2
Publication DateArticle TitleAuthor(s)
26-Aug-2015Boolean Satisfiability Solvers and Their Applications in Model CheckingVizel, Y; Weissenbacher, G; Malik, Sharad
2014Reduction of resolution refutations and interpolants via subsumptionBloem, R; Malik, S; Schlaipfer, M; Weissenbacher, G