Suivre
Robin Coutelier
Robin Coutelier
PhD. Sudent
Adresse e-mail validée de tuwien.ac.at
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–2