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

Sergey Berezin, Vijay Ganesh, David L. Dill

Browse the full TACAS paper archive.