Stochastic Constraint Optimization using Propagation on Ordered Binary Decision Diagrams.
Anna L. D. LatourBehrouz BabakiSiegfried NijssenPublished in: CoRR (2018)
Keyphrases
- constraint optimization
- ordered binary decision diagrams
- constraint satisfaction problems
- set bounds propagation
- constraint satisfaction
- constraint programming
- deterministic finite automaton
- branch and bound search
- constraint networks
- np complete
- constraint propagation
- search space
- constraint problems
- model checking
- distributed search
- genetic algorithm
- data structure