The Logic Behind Weighted CSP.
Carlos AnsóteguiMaria Luisa BonetJordi LevyFelip ManyàPublished in: IJCAI (2007)
Keyphrases
- constraint satisfaction problems
- multi valued
- constraint satisfaction
- constraint solving
- decomposition methods
- classical logic
- modal logic
- constraint networks
- tree decompositions
- asynchronous circuits
- predicate logic
- graph model
- weighted graph
- neural network
- constraint programming
- logic programming
- genetic algorithm
- tree decomposition
- databases
- chronological backtracking
- solving constraint satisfaction problems
- data sets