Mathias Fleury
Mathias Fleury
Affiliation: University Freiburg
Affiliation: University of Freiburg
Pages in this Program
Factoring Learned Clauses
Revising the Implicit Hitting Set Solver MaxHS
Improving Local Search and adding DDFW to Kissat and CaDiCaL
CaDiCaL 3.0
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑