Geometric decision procedures and the VC dimension of linear arithmetic theories

DOI10.1145/3531130.3533372MaRDI QIDQ6649496

Alessio Mansutti, Christoph Haase, Dmitry Chistikov

Publication date: 6 December 2024

zbMATH Keywords

VC dimensionconvex polyhedrasemilinear setsPresburger arithmeticlinear integer arithmeticlinear real arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Classification theory, stability, and related concepts in model theory (03C45)

This page was built for publication: Geometric decision procedures and the VC dimension of linear arithmetic theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649496)