Keyphrases
- programming language
- functional programming
- constraint satisfaction
- dependency directed backtracking
- plagiarism detection
- search algorithm
- search space
- search tree
- constraint propagation
- conflict directed
- tree search
- case study
- execution model
- variable ordering
- object oriented
- backtracking search
- query language
- multi agent