(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. Hubert Ming Chen and Victor Dalmau Tenth International Conference on Principles and Practice of Constraint Programming 2004.
.
[Edit]