Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers.

Isil Dillig, Thomas Dillig, Alex Aiken

Browse the full CAV paper archive.