Geometric decision procedures and the VC dimension of linear arithmetic theories.

Dmitry Chistikov, Christoph Haase, Alessio Mansutti

Browse the full LICS paper archive.