9 citations · 19 across the 3 of their papers we have counts for
4 papers
Breaking Generator Symmetry
George Katsirelos, Nina Narodytska, Toby Walsh
Dealing with large numbers of symmetries is often problematic. One solution is to focus on just symmetries that generate the symmetry group. Whilst there are special cases where br…
The Weighted CFG Constraint
George Katsirelos, Nina Narodytska, Toby Walsh
We introduce the weighted CFG constraint and propose a propagation algorithm that enforces domain consistency in time. We show that this algorithm can be decomposed int…
Symmetries of Symmetry Breaking Constraints
George Katsirelos, Toby Walsh
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different sy…
Decomposition of the NVALUE constraint
Christian Bessiere, George Katsirelos, Nina Narodytska +2
We study decompositions of NVALUE, a global constraint that can be used to model a wide range of problems where values need to be counted. Whilst decomposition typically hinders pr…