Proof Principles of CSP - CSP-Prover in Practice.
Yoshinao IsobeMarkus RoggenbachPublished in: LDIC (2007)
Keyphrases
- constraint satisfaction problems
- theorem proving
- theorem prover
- decomposition methods
- constraint propagation
- constraint satisfaction
- arc consistency
- constraint programming
- tree decompositions
- constraint solving
- np complete
- search space
- solving constraint satisfaction problems
- theoretical framework
- sat problem
- np hard
- constraint networks
- reinforcement learning
- information systems
- tree decomposition
- automated theorem proving
- proof search
- backtracking search
- artificial intelligence