Blanchette, Jasmin Christian

2 publications

IJCAI 2017 A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach

IJCAI 2016 A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds, Jasmin Christian Blanchette