A Refutation Approach to Neighborhood Interchangeability in CSPs.
Chavalit LikitvivatanavongRoland H. C. YapPublished in: Australasian Conference on Artificial Intelligence (2008)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- ordering heuristics
- constraint programming
- constraint propagation
- np complete
- arc consistency
- theorem proving
- search space
- non binary
- solving constraint satisfaction problems
- constraint networks
- theorem prover
- inductive inference
- np hard
- global constraints
- forward checking
- sat problem
- partial constraint satisfaction
- phase transition
- evolutionary algorithm
- classical logic
- automated theorem proving
- computational complexity
- knn
- neighborhood structure
- search algorithm
- bayesian networks
- databases