{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T01:43:01Z","timestamp":1758591781005,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FNRS-DFG","award":["40019202"],"award-info":[{"award-number":["40019202"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669704","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"316-323","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On Minimal and Minimum Cylindrical Algebraic Decompositions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4115-7296","authenticated-orcid":false,"given":"Lucas","family":"Michel","sequence":"first","affiliation":[{"name":"Department of Mathematics, University of Li\u00e8ge, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9199-8643","authenticated-orcid":false,"given":"Pierre","family":"Mathonet","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Li\u00e8ge, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5520-5147","authenticated-orcid":false,"given":"Na\u00efm","family":"Zena\u00efdi","sequence":"additional","affiliation":[{"name":"Department of Mathematics, University of Li\u00e8ge, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"F. Baader and T. Nipkow. 1998. Term rewriting and all that. Cambridge University Press USA. https:\/\/doi.org\/10.1017\/CBO9781139172752","DOI":"10.1017\/CBO9781139172752"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"S. Basu R. Pollack and M.F. Coste-Roy. 2007. Algorithms in Real Algebraic Geometry. Springer Berlin Heidelberg. https:\/\/doi.org\/10.1007\/3-540-33099-2","DOI":"10.1007\/3-540-33099-2"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0463"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0394"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087604.3087651"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2608628.2608666"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597066.3597090"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"Z. Huang M. England D. Wilson J.\u00a0H. Davenport L.\u00a0C. Paulson and J. Bridge. 2014. Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition. In Intelligent Computer Mathematics. Springer International Publishing Cham 92\u2013107. https:\/\/doi.org\/10.1007\/978-3-319-08434-3_8","DOI":"10.1007\/978-3-319-08434-3_8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/S11786-010-0047-0"},{"key":"e_1_3_2_1_13_1","unstructured":"A. Locatelli. 2016. On the regularity of cylindrical algebraic decompositions. PhD Thesis. University of Bath."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9459-1_12"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0196-8858(83)90014-3"},{"key":"e_1_3_2_1_16_1","unstructured":"D. Wilson. 2014. Advances in Cylindrical Algebraic Decomposition. PhD Thesis. University of Bath."}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Raleigh NC USA","acronym":"ISSAC '24"},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669704","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:51:38Z","timestamp":1758588698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":16,"alternative-id":["10.1145\/3666000.3669704","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669704","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}