Accepted to the 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026).