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)

Conflict Analysis Based on Cutting-Planes for Constraint Programming. - Robbin Baauw; Maarten Flippo; Emir Demirovic (CP, 2025)