vix.ing · top · new · best · stats · spec

A recursive procedure to generate all cuts for 0–1 mixed integer programs

1990/01/01 by George L. Nemhauser, Laurence A. Wolsey · 2 citations
Computer Science · Mathematics · #Formal Methods in Verification #Complexity and Algorithms in Graphs #Commutative Algebra and Its Applications

paper · doi:10.1007/bf01585752

Citations

Cited by