Weidenbach, Christoph

2 publications

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

IJCAI 1993 Extending the Resolution Method with Sorts Christoph Weidenbach