Keyphrases
- constraint satisfaction problems
- natural language
- language learning
- expert systems
- programming language
- constraint problems
- data driven
- constraint satisfaction
- constraint programming
- clause learning
- specification language
- rapid prototyping
- backtracking search
- constraint solving
- constraint networks
- sat solvers
- development process
- np complete