An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic.

Sergey Berezin Vijay Ganesh David L. Dill

Published in: TACAS (2003)

Keyphrases

mixed integer linear
mathematical programming
online learning
decision rules
theorem proving
decision making
decision makers
decision problems
arithmetic operations
lower bound
reinforcement learning
database
first order logic
neural network
iterative procedure
decision processes
real time