1990/01/01 by George L. Nemhauser, Laurence A. Wolsey · 2 citationsComputer Science · Mathematics · #Formal Methods in Verification #Complexity and Algorithms in Graphs #Commutative Algebra and Its Applications
paper · doi:10.1007/bf01585752