From Glossary

Jump to: navigation, search

Search is a systematic way of trying out different values for variables until a solution is found that satisfies all constraints or it is proven that no solution exists.

During search, a search tree is constructed where each node represents the current state of the variables and edges represent value assignments to a particular variable. This means, with increasing depth of the search tree, more variables are assigned to specific values.

Personal tools