Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- theorem prover
- constraint propagation
- np complete
- constraint programming
- information systems
- proof theory
- tree decomposition
- constraint networks
- theorem proving
- scheduling problem
- special case
- linear logic
- natural deduction
- databases
- proof search
- closest string
- tree decompositions
- geometry theorem proving