Fleury, Mathias

2 publications

JAIR 2022 Better Decision Heuristics in CDCL Through Local Search and Target Phases Shaowei Cai, Xindi Zhang, Mathias Fleury, Armin Biere

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