Keyphrases
- graph coloring
- decision diagrams
- lower bound
- max sat
- constraint satisfaction problems
- combinatorial problems
- upper bound
- branch and bound algorithm
- np hard
- multi valued
- markov decision processes
- job shop scheduling
- branch and bound
- efficient computation
- digital circuits
- constraint satisfaction
- binary decision diagrams
- phase transition
- sat problem
- worst case
- objective function
- optimal solution
- scheduling problem
- search algorithm
- hyper heuristics
- sat solvers
- planning problems
- constraint programming
- np complete
- arc consistency
- search space
- global constraints
- tabu search
- graphical models