Geometric decision procedures and the VC dimension of linear arithmetic theories

Dmitry Chistikov, Christoph Haase, Alessio Mansutti
August 2022
PDF Project DOI
Type
Conference paper
Publication
Logic in Computer Science, LICS