[TOC] # 1 Numerical Constraint Solvers # 2 Constructive Constraint Solvers ## 2.1 Rule-Constructive Solvers ## 2.2 Graph-Constructive Solvers # 3 Propagation Methods # 4 Symbolic Constraint Solvers