A complete and terminating approach to linear integer solving
Bromberger, Martin, Sturm, Thomas, Weidenbach, ChristophLanguage:
english
Journal:
Journal of Symbolic Computation
DOI:
10.1016/j.jsc.2019.07.021
Date:
July, 2019
File:
PDF, 1.69 MB
english, 2019