Driving a sound static software analyzer with branch-and-bound.
Sven MattsenPascal CuoqSibylle SchuppPublished in: SCAM (2013)
Keyphrases
- branch and bound
- lower bound
- search algorithm
- branch and bound algorithm
- upper bound
- search space
- column generation
- optimal solution
- combinatorial optimization
- branch and bound procedure
- randomly generated problems
- beam search
- tree search
- search strategies
- network design problem
- partial solutions
- depth first search
- branch and bound method
- tree search algorithm
- lagrangian heuristic
- branch and bound search
- max sat
- path finding
- cutting plane
- objective function
- heuristic search
- metaheuristic