Compressing UNSAT Search Trees with Caching. - Anthony Blomme; Daniel Le Berre; Anne Parrain; Olivier Roussel (ICAART (3), 2023)

Explications pour les Solveurs SAT. (Explanations for SAT Solvers). - Anthony Blomme (2023)

Compressing UNSAT CDCL Trees with Caching. - Anthony Blomme; Daniel Le Berre; Anne Parrain; Olivier Roussel (ICAART (3), 2024)