Login / Signup
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers.
Isil Dillig
Thomas Dillig
Alex Aiken
Published in:
Formal Methods Syst. Des. (2011)
Keyphrases
</>
linear inequalities
real numbers
linear programming
integer linear programming
linear program
quadratic programming
decision making
video sequences
convex hull
theorem proving
floating point
combinatorial optimization
integer program