Exploring the Impact of Early Decisions in Variable Ordering for Constraint Satisfaction Problems.
José Carlos Ortiz-BaylissIván AmayaSantiago Enrique Conant-PablosHugo Terashima-MarínPublished in: Comput. Intell. Neurosci. (2018)
Keyphrases
- constraint satisfaction problems
- forward checking
- variable ordering
- constraint satisfaction
- branch and bound algorithm
- constraint programming
- combinatorial problems
- constraint propagation
- np complete
- arc consistency
- np hard
- search space
- sat problem
- non binary
- decision makers
- max sat
- dynamic programming
- upper bound
- lower bound
- constraint networks
- search algorithm
- orders of magnitude
- binary decision diagrams
- random instances