Geometric decision procedures and the VC dimension of linear arithmetic theories

Publication
Logic in Computer Science, LICS