Foundations of Artificial Intelligence, Vol. 2, Suppl. (C), 2006
Chapter 3 Constraint Propagation
Constraint propagation is a form of inference, not search, and as such is more “satisfying”, both technically and aesthetically.
—E.C. Freuder, 2005.
Constraint reasoning involves various types of techniques to tackle the inherent intractability of the problem of satisfying a set of constraints. Constraint propagation is one of those types of techniques. Constraint propagation is central to the process of solving a constraint problem, and we could hardly think of constraint reasoning without it.
Constraint propagation is a very general concept that appears under different ...