Linear 0-1 Inequalities and Extended Clauses.

Published in: LPAR (1993)

Keyphrases

linear inequalities
linear programming
linear program
integer linear programming
convex hull
real numbers
training data
search space
objective function
dynamic programming
first order logic
artificial neural networks
background knowledge