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