Completeness for typed lazy inequalities

Stavros S. Cosmadakis Albert R. Meyer Jon G. Riecke

Published in: LICS (1990)

Keyphrases

linear inequalities
sufficient conditions
lazy learning
higher order
lambda calculus
decision trees
decision making
databases
website
multiscale
linear programming
data mining
mixed integer
data sets
planar graphs
cutting plane algorithm
real time