# Search

### From Glossary

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.