Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- theorem prover
- theorem proving
- decomposition methods
- linear logic
- constraint programming
- constraint propagation
- arc consistency
- tree decompositions
- arc consistency algorithm
- constraint solving
- tree decomposition
- mathematical proofs
- database
- logical rules
- heuristic search
- state space
- genetic algorithm
- data mining