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
Christoph Weidenbach
Christoph Weidenbach
Professor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campus
Peter Lammich
Peter Lammich
University of Twente