A complete and terminating approach to linear integer solving
| Autor: | Bromberger, Martin, Sturm, Thomas, Weidenbach, Christoph |
|---|---|
| Zdroj: | In Journal of Symbolic Computation September-October 2020 100:102-136 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Bromberger, Martin, Sturm, Thomas, Weidenbach, Christoph |
|---|---|
| Zdroj: | In Journal of Symbolic Computation September-October 2020 100:102-136 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect