After All, There Are Some Inequalities Which Are Provable in ZFC.

Tomek Bartoszynski Andrzej Roslanowski Saharon Shelah

Published in: J. Symb. Log. (2000)

Keyphrases

sufficient conditions
linear inequalities
planar graphs
mixed integer linear programs
data sets
facet defining inequalities
integer solution
valid inequalities
mixed integer
database
expert systems
optimal solution
image processing
information retrieval
data mining
neural network
facet defining