Collaborated with:C.Weidenbach J.C.Blanchette M.Bromberger S.Schwarz
Talks about:solver (2) increment (1) framework (1) restart (1) verifi (1) forget (1) spass (1) learn (1) satt (1) cdcl (1)
Person: Mathias Fleury
DBLP: Fleury:Mathias
Contributed to:
2016
2019Wrote 2 papers:
- IJCAR-2016-BlanchetteFW #framework #satisfiability
- A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (JCB, MF, CW), pp. 25–44.
- CADE-2019-BrombergerFSW
- SPASS-SATT - A CDCL(LA) Solver (MB, MF, SS, CW), pp. 111–122.