Open access
Aug 2026
Efficient Reformulations of Half-reified Global Constraints using Auxiliary Variables
A set of reformulation rules are proposed that allow the use of half-reification of a global constraint with any CP solver that supports the “normal” global constraint propagator, and expand the range of available solvers and constraint models that can be used in XCP techniques or for solving CSPs with compound constraints.
Ignace Bleukx, Hélène Verhaeghe, Dimos Tsouros et al.
· Journal of Artificial Intell... · 1 citation