Maarten Flippo

According to our database, Maarten Flippo authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

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