Robin Coutelier

According to our database, Robin Coutelier authored at least 9 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Generalizing CDCL with Graph Backtracking.

Robin Coutelier, Thomas Hader, Laura Kovács

CoRR, May, 2026

2025

SAT solving for variants of first-order subsumption.

Robin Coutelier, Jakob Rath, Michael Rawson, Armin Biere, Laura Kovács

Formal Methods Syst. Des., October, 2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

Vampire.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Johannes Schoisswohl, Martin Suda, Andrei Voronkov

Dataset, April, 2025

The Vampire Diary.

Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdú, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Term Ordering Diagrams.

Márton Hajdú, Robin Coutelier, Laura Kovács, Andrei Voronkov

Proceedings of the Automated Deduction - CADE 30, 2025

2024

RobCoutel/NapSAT.

Robin Coutelier

Dataset, November, 2024

Lazy Reimplication in Chronological Backtracking.

Robin Coutelier, Mathias Fleury, Laura Kovács

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

SAT-Based Subsumption Resolution.

Robin Coutelier, Laura Kovács, Michael Rawson, Jakob Rath

Proceedings of the Automated Deduction - CADE 29, 2023