Isil Dillig, Thomas Dillig, Alex Aiken. Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. Formal Methods in System Design, 39(3):246-260, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.