Follow
Robin Coutelier
Robin Coutelier
PhD. Sudent
Verified email at tuwien.ac.at
Title
Cited by
Cited by
Year
SAT-Based Subsumption Resolution
R Coutelier, L Kovács, M Rawson, J Rath
International Conference on Automated Deduction, 190-206, 2023
12023
Chronological vs. non-chronological backtracking in satisfiability modulo theories
R Coutelier
Université de Liège, Liège, Belgique, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–2