Experiments with Two-Row Cuts from Degenerate Tableaux.

Amitabh Basu Pierre Bonami Gérard Cornuéjols François Margot

Published in: INFORMS J. Comput. (2011)

Keyphrases

modal logic
decision procedures
functional dependencies
data sets
neural network
image processing
special case
binary matrix
real time
knowledge base
multiscale
theorem proving
rows and columns
binary matrices
sequent calculi