The Library
Geometric decision procedures and the VC dimension of linear arithmetic theories
Tools
Tools
Tools
Chistikov, Dmitry, Haase, Christoph and Mansutti, Alessio (2022) Geometric decision procedures and the VC dimension of linear arithmetic theories. In: 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), Haifa, Israel, 02–05 Aug 2022. Published in: 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) doi:10.1145/3531130.3533372 (In Press)
|
PDF
WRAP-Geometric-decision-procedures-VC-dimension-2022.pdf - Accepted Version - Requires a PDF viewer. Download (1119Kb) | Preview |
|
![[img]](http://wrap.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
copyright-12670_111_1.pdf - Permissions Correspondence Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (26Kb) |
Official URL: https://doi.org/10.1145/3531130.3533372
| Item Type: | Conference Item (Paper) | ||||||
|---|---|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics | ||||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||||
| Library of Congress Subject Headings (LCSH): | Computational complexity, Computer logic, Machine learning, Computer arithmetic and logic units, Polyhedra -- Mathematical models | ||||||
| Journal or Publication Title: | 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) | ||||||
| Publisher: | ACM | ||||||
| Official Date: | 2022 | ||||||
| Dates: |
|
||||||
| DOI: | 10.1145/3531130.3533372 | ||||||
| Status: | Peer Reviewed | ||||||
| Publication Status: | In Press | ||||||
| Reuse Statement (publisher, data, author rights): | © 2022 Copyright held by the owner/author(s). Publication rights licensed to ACM. This is the author’s version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (LICS ’22), August 2–5, 2022, Haifa, Israel, https://doi.org/10.1145/3531130.3533372 | ||||||
| Access rights to Published version: | Restricted or Subscription Access | ||||||
| RIOXX Funder/Project Grant: |
|
||||||
| Conference Paper Type: | Paper | ||||||
| Title of Event: | 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) | ||||||
| Type of Event: | Conference | ||||||
| Location of Event: | Haifa, Israel | ||||||
| Date(s) of Event: | 02–05 Aug 2022 | ||||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
