Imko Marijnissen

According to our database, Imko Marijnissen authored at least 3 papers between 2024 and 2026.

Collaborative distances:

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

2026

Domain-Independent Dynamic Programming with Constraint Propagation.

Imko Marijnissen, J. Christopher Beck, Emir Demirovic, Ryo Kuroiwa

CoRR, March, 2026

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