Constraint satisfaction
Constraint graph
Decomposition method
Hidden transformation
Constraint programming
Computing
Local consistency