Scholar
Robin Coutelier
Google Scholar ID: 2CaX_dMAAAAJ
PhD. Sudent
Logic
Automated reasoning
Automated theorem proving
SAT
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
15
H-index
3
i10-index
0
Publications
7
Co-authors
5
list available
Contact
No contact links provided.
Publications
3 items
The Vampire Diary
2025
Cited
0
Term Ordering Diagrams
2025
Cited
0
Lazy Reimplication in Chronological Backtracking
International Conference on Theory and Applications of Satisfiability Testing · 2025
Cited
0
Resume (English only)
Co-authors
5 total
Laura Kovacs
TU Wien, Vienna, Austria
Michael Rawson
University of Southampton
Co-author 3
Mathias Fleury
University Freiburg
Co-author 5
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up
