Seguir
Robin Coutelier
Robin Coutelier
PhD. Sudent
E-mail confirmado em tuwien.ac.at
Título
Citado por
Citado por
Ano
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–2