Domain Reduction for the Circuit Constraint
We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating non-Hamiltonian edges from the associated graph. We prove a necessary condition for an edge to be Hamiltonian, which provides the basis for eliminating edges of a smaller graph defined on a separator of the original graph.
- 2.Regin, J.-C.: Generalized Arc Consistency for Global Cardinality Constraint. In: AAAI (1996)Google Scholar