Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound.
Claudio FerrariMark Niklas MüllerNikola JovanovicMartin T. VechevPublished in: ICLR (2022)
Keyphrases
- branch and bound
- lower bound
- search algorithm
- linear programming relaxation
- branch and bound algorithm
- column generation
- search space
- optimal solution
- upper bound
- tree search
- branch and bound procedure
- branch and bound method
- beam search
- lagrangian relaxation
- combinatorial optimization
- tree search algorithm
- neural network
- lagrangian heuristic
- search strategies
- objective function
- network design problem
- branch and bound search
- randomly generated problems
- model checking
- np hard
- lower and upper bounds
- partial solutions
- integer programming problems
- genetic algorithm