Linear Inequalities.

Ralph Bottesch Alban Reynaud René Thiemann

Published in: Arch. Formal Proofs (2019)

Keyphrases

linear inequalities
linear programming
integer linear programming
linear program
convex hull
real numbers
artificial intelligence
decision making
feature extraction
training data
bayesian networks
search algorithm
pattern recognition
data mining
metaheuristic
feasible solution
column generation