Maarten Flippo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Using Certifying Constraint Solvers for Generating Step-wise Explanations. | Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns |
| 2026 | CP | Formally Verified Certification of Constraint Programming Proofs. | Maarten Flippo, Konstantin Sidorov, Tip ten Brink, Clment Pit-Claudel, Emir Demirovic |
| 2026 | CP | From Literals to Atomic Constraints: Generalising Conflict-Driven Clause Learning for Constraint Programming. | Imko Marijnissen, Maarten Flippo, Emir Demirovic |
| 2026 | CPAIOR | Resolution Meets Cutting Planes: Introducing Hypercube Linear Resolution. | Maarten Flippo, Peter J. Stuckey, Emir Demirovic |
| 2025 | CP | Conflict Analysis Based on Cutting-Planes for Constraint Programming. | Robbin Baauw, Maarten Flippo, Emir Demirovic |
| 2024 | CP | A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. | Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic |