Decomposition and Preprocessing of Ternary Constraint Networks

Pierre Talbot

Constraint programming is a general and exact method based on constraint propagation and backtracking search. We provide a function decomposing a constraint network into a ternary…