Constraint Propagation and Implementation
M. van Dongen, Christophe Lecoutre · 2007
This chapter contains sections titled: Filtering algorithms for precedence and dependency constraints (by Roman Bartak and Ondfei Cepek) A study of residual supports in arc consistency (by Christophe Lecoutre and Fred Hemery) Maintaining singleton arc consistency (by Christophe Lecoutre and Patrick Prosser) Probabilistic singleton arc consistency (by Deepak Mehta and Marc van Dongen) Simplification and extension of the SPREAD constraint (by Pierre Schaus, Yves Deville, Pierre Dupont and Jean-Charles Regin A new filtering algorithm for the graph isomorphism problem (by Sebastien Sorlin and Christine Solnon) References