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]
@article{DilligDA11-0,
title = {Cuts from proofs: a complete and practical technique for solving linear inequalities over integers},
author = {Isil Dillig and Thomas Dillig and Alex Aiken},
year = {2011},
doi = {10.1007/s10703-011-0127-z},
url = {http://dx.doi.org/10.1007/s10703-011-0127-z},
researchr = {https://researchr.org/publication/DilligDA11-0},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {39},
number = {3},
pages = {246-260},
}