Constraints - Volume 30, Issue 1-4

December 2025

Solving logic-based benders decomposition master problems with constraint programming and domainindependent dynamic programming
Jiachen Zhang & Christopher Beck
video in progress

Word equations in synergy with regular constraints (extended version)
František Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál & Juraj Síč
video in progress

Solutions and minimal conflict search for product configuration: a case study
Sebastian Velten & Christopher Hamkins
video

MiniZinc with objects
Guido Tack, Richard Comploi-Taupe, Andreas Falkner & Gottfried Schenner
video in progress