Geometric decision procedures and the VC dimension of linear arithmetic theories
<p>This paper resolves two open problems on linear integer arithmetic (LIA), also known as Presburger arithmetic. First, we give a triply exponential geometric decision procedure for LIA, i.e., a procedure based on manipulating semilinear sets. This matches the running time of the best quantif...
| 主要な著者: | , , |
|---|---|
| フォーマット: | Conference item |
| 言語: | English |
| 出版事項: |
Association for Computing Machinery
2022
|