Propagation redundancy for permutation channels
Chiu Wo Choi, Jimmy H. M. Lee, Peter J. Stuckey · 2003
Finding a good model of a constraint satisfaction problem (CSP) is a challenging task. A modeller must specify a set of constraints that capture the definitions of the problem, and the model should also have strong propagation. In other words,