Publications > Preprint server > Preprint Number 1317
Preprint Number 1317
1317. Danny Nguyen, Igor Pak VC-dimension of short Presburger formulas E-mail: Submission date: 11 October 2017 Abstract: We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the formula. Mathematics Subject Classification: Keywords and phrases: |
Last updated: March 23 2021 09:20 | Please send your corrections to: |