Imko Marijnissen

According to our database, Imko Marijnissen authored at least 1 paper in 2024.

Collaborative distances:

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

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