Maarten Flippo

Orcid: 0009-0005-5333-2767

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Using Certifying Constraint Solvers for Generating Step-wise Explanations.
Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025
Instances and Experimental Data for "Resolution meets Cutting Planes".
Dataset, December, 2025

Conflict Analysis Based on Cutting-Planes for Constraint Programming.
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.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024


  Loading...