{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:16:50Z","timestamp":1750306610041,"version":"3.41.0"},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2015,2,5]],"date-time":"2015-02-05T00:00:00Z","timestamp":1423094400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2015,2,5]]},"abstract":"<jats:p>Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple in another. Here we discuss a recent experiment comparing three heuristics for making this choice on thousands of examples.<\/jats:p>","DOI":"10.1145\/2733693.2733706","type":"journal-article","created":{"date-parts":[[2015,2,10]],"date-time":"2015-02-10T13:19:47Z","timestamp":1423574387000},"page":"121-123","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition"],"prefix":"10.1145","volume":"48","author":[{"given":"Zongyan","family":"Huang","sequence":"first","affiliation":[{"name":"University of Cambridge Computer Laboratory, Cambridge, U.K."}]},{"given":"Matthew","family":"England","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, U.K."}]},{"given":"David","family":"Wilson","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, U.K."}]},{"given":"James H.","family":"Davenport","sequence":"additional","affiliation":[{"name":"University of Bath, Bath, U.K."}]},{"given":"Lawrence C.","family":"Paulson","sequence":"additional","affiliation":[{"name":"University of Cambridge Computer Laboratory, Cambridge, U.K."}]}],"member":"320","published-online":{"date-parts":[[2015,2,5]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39320-4_2"},{"key":"e_1_2_1_2_1","volume-title":"Companion to the tutorial: Cylindrical algebraic decomposition, (ISSAC","author":"Brown C.W.","year":"2004","unstructured":"C.W. Brown . Companion to the tutorial: Cylindrical algebraic decomposition, (ISSAC 2004 ). Available from: www.usna.edu\/Users\/cs\/wcbrown\/research\/ISSAC04\/handout.pdf. C.W. Brown. Companion to the tutorial: Cylindrical algebraic decomposition, (ISSAC 2004). Available from: www.usna.edu\/Users\/cs\/wcbrown\/research\/ISSAC04\/handout.pdf."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005303"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08434-3_8"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2733693.2733706","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2733693.2733706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:17:02Z","timestamp":1750227422000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2733693.2733706"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,5]]},"references-count":4,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2015,2,5]]}},"alternative-id":["10.1145\/2733693.2733706"],"URL":"https:\/\/doi.org\/10.1145\/2733693.2733706","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2015,2,5]]},"assertion":[{"value":"2015-02-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}