Open AccessGeometric decision procedures and the VC dimension of linear arithmetic theories
Author(s) -
Dmitry Chistikov,
Christoph Haase,
Alessio Mansutti
Publication year - 2022
Publication title -
oxford university research archive (ora) (university of oxford)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3531130.3533372
Subject(s) - presburger arithmetic , dimension (graph theory) , conjecture , quantifier elimination , arithmetic , mathematics , automaton , exponential function , integer (computer science) , discrete mathematics , upper and lower bounds , computer science , combinatorics , decidability , theoretical computer science , programming language , mathematical analysis
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom