Imko Marijnissen

According to our database, Imko Marijnissen authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems.

Konstantin Sidorov, Imko Marijnissen, 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