is a local search algorithm specific for CSPs and is based on that principle. In practice, local search appears to work well when these changes are also affected by random choices. An integration of search with local search has been developed, leading to hybrid algorithms.

Theoretical aspects

Computational complexity

CSPs are also studied in computational complexity theory, finite model theory

1.Previous
3.Next