Login / Signup
A Framework for Certified Boolean Branch-and-Bound Optimization.
Javier Larrosa
Robert Nieuwenhuis
Albert Oliveras
Enric Rodríguez-Carbonell
Published in:
J. Autom. Reason. (2011)
Keyphrases
</>
branch and bound
search algorithm
search space
combinatorial optimization
lower bound
branch and bound algorithm
neural network
network design problem
column generation
beam search
search strategies
bucket elimination
branch and bound method
depth first search
upper bound
multi agent
tree search
multi objective