Isomorph-Free Branch and Bound Search for Finite State Controllers.
Marek GrzesPascal PoupartJesse HoeyPublished in: IJCAI (2013)
Keyphrases
- branch and bound search
- branch and bound
- constraint optimization
- mixed integer linear programs
- search tree
- arc consistency
- search algorithm
- search strategy
- search heuristics
- iterative deepening
- lagrangian relaxation
- cutting plane algorithm
- constraint satisfaction
- constraint satisfaction problems
- search space
- lower bound
- space complexity
- upper bound
- special case