On the Complexity of Finding Shortest Variable Disjunction Branch-and-Bound Proofs.

Max Glser, Marc E. Pfetsch

Browse the full IPCO paper archive.