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