Maarten Flippo

According to our database, Maarten Flippo authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

Using Certifying Constraint Solvers for Generating Step-wise Explanations.

Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirovic, Tias Guns

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Instances and Experimental Data for "Resolution meets Cutting Planes".

Maarten Flippo, Peter J. Stuckey, Emir Demirovic

Dataset, December, 2025

Conflict Analysis Based on Cutting-Planes for Constraint Programming.

Robbin Baauw, Maarten Flippo, Emir Demirovic

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers.

Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirovic

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024