A counterexample to a conjecture of Gomory and Johnson.

Amitabh Basu Michele Conforti Gérard Cornuéjols Giacomo Zambelli

Published in: Math. Program. (2012)

Keyphrases

model checking
cutting plane
formal verification
strictly convex
bayesian networks
viewpoint
image analysis
digital images
least squares
tabu search
mixed integer