2 citations · 2 across the 1 of their papers we have counts for
1 paper
Christian Schulte, Guido Tack
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi…