Mathias Fleury
Scholar

Mathias Fleury

Google Scholar ID: bd7q7gEAAAAJ
University Freiburg
Automated ProvingInteractive theorem proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,256
 
H-index
15
 
i10-index
26
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
1 items
Lazy Reimplication in Chronological Backtracking
International Conference on Theory and Applications of Satisfiability Testing · 2025
Cited
0
Resume (English only)
Co-authors
18 total
Co-author 1
Co-author 1
Jasmin Blanchette
Jasmin Blanchette
Ludwig-Maximilians-Universität München
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Haniel Barbosa
Haniel Barbosa
Universidade Federal de Minas Gerais
Maximilian Heisinger
Maximilian Heisinger
Johannes Kepler University
Co-author 7
Co-author 7
Peter Lammich
Peter Lammich
University of Twente