A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers. - Maarten Flippo; Konstantin Sidorov; Imko Marijnissen; Jeff Smits; Emir Demirovic (CP, 2024)

Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems. - Konstantin Sidorov; Imko Marijnissen; Emir Demirovic (CP, 2025)