IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound.
Alessandro De PalmaRudy BunelKrishnamurthy DvijothamM. Pawan KumarRobert StanforthPublished in: CoRR (2022)
Keyphrases
- branch and bound
- search algorithm
- lower bound
- branch and bound algorithm
- upper bound
- search space
- column generation
- combinatorial optimization
- optimal solution
- branch and bound method
- randomly generated problems
- tree search
- depth first search
- branch and bound procedure
- search strategies
- beam search
- lagrangian heuristic
- network design problem
- tree search algorithm
- multi agent
- max sat
- branch and bound search
- heuristic search
- linear programming relaxation
- partial solutions
- state space
- evolutionary algorithm
- mini bucket