| Domain Reduction for the Circuit Constraint (2008) | |||||||||||||
Abstract | |||||||||||||
| Abstract. We present an incomplete filtering algorithm for the circuit constraint. The filter removes redundant values by eliminating non-Hamiltonian edges from the associated graph (i.e., edges that are part of no Hamiltonian cycle). 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. 1 | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||