Solving Systems of Linear Inequalities by Bound Propagation.

Konstantin Korovin Andrei Voronkov

Published in: CADE (2011)

Keyphrases

linear inequalities
linear programming
computer systems
complex systems
neural network
lower bound
upper bound
artificial intelligence
management system
supervised learning
linear program