关注
Robin Coutelier
Robin Coutelier
PhD. Sudent
在 tuwien.ac.at 的电子邮件经过验证
标题
引用次数
引用次数
年份
SAT-Based Subsumption Resolution
R Coutelier, L Kovács, M Rawson, J Rath
International Conference on Automated Deduction, 190-206, 2023
42023
SAT Solving for Variants of First-Order Subsumption
R Coutelier, J Rath, M Rawson, ABL Kovács
12024
Chronological vs. non-chronological backtracking in satisfiability modulo theories
R Coutelier
Université de Liège, Liège, Belgique, 2023
12023
Lazy Reimplication in Chronological Backtracking
R Coutelier, M Fleury, L Kovács
27th International Conference on Theory and Applications of Satisfiability …, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–4