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
|