Abstract
We study VC-dimensions 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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have