Inequalities from Two Rows of a Simplex Tableau.
Kent AndersenQuentin LouveauxRobert WeismantelLaurence A. WolseyPublished in: IPCO (2007)
Keyphrases
- description logics
- linear inequalities
- linear programming
- sufficient conditions
- simplex algorithm
- small number
- star shaped
- search algorithm
- valid inequalities
- simplex method
- facet defining inequalities
- image sequences
- elementary functions
- mixed integer
- planar graphs
- automated theorem proving
- linear program
- probability distribution
- neural network
- simplex search