Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- theorem proving
- np hard
- tree decomposition
- linear logic
- constraint networks
- constraint programming
- state space
- arc consistency algorithm
- neural network
- constraint propagation
- knowledge base
- search engine
- machine learning
- solving constraint satisfaction problems
- automated theorem proving
- mathematical proofs
- constraint solving
- theorem prover
- search space
- case study
- decision trees