Solving Intensional Weighted CSPs by Incremental Optimization with BDDs.
Miquel BofillMiquel PalahíJosep SuyMateu VillaretPublished in: CP (2014)
Keyphrases
- constraint satisfaction problems
- discrete optimization
- combinatorial optimization
- constraint problems
- set bounds propagation
- partial constraint satisfaction
- constraint satisfaction
- quadratic programming
- decision diagrams
- optimization algorithm
- incremental learning
- solving constraint satisfaction problems
- backtracking algorithm
- nonlinear programming
- global optimization
- heuristic search
- optimization problems
- higher order
- search space
- quadratic program
- phase transition
- optimization method
- np complete
- particle swarm optimization
- distributed constraint satisfaction problems
- evolutionary algorithm