A complete and terminating approach to linear integer solving

Complete list of metadatas

https://hal.inria.fr/hal-02397168
Contributor : Thomas Sturm <>
Submitted on : Friday, December 6, 2019 - 2:08:27 PM
Last modification on : Saturday, December 7, 2019 - 1:41:18 AM

Identifiers

Collections

Citation

Martin Bromberger, Thomas Sturm, Christoph Weidenbach. A complete and terminating approach to linear integer solving. Journal of Symbolic Computation, Elsevier, In press, ⟨10.1016/j.jsc.2019.07.021⟩. ⟨hal-02397168⟩

Share

Metrics

Record views

15