{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T12:57:41Z","timestamp":1768741061163,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":30,"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":[{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["NSFC 11971050"],"award-info":[{"award-number":["NSFC 11971050"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669692","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"208-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Complexity Analysis of Triangular Decomposition over F_2 with Strongly Chordal Graphs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-8118-8823","authenticated-orcid":false,"given":"Zhaoxing","family":"Qi","sequence":"first","affiliation":[{"name":"LMIB-School of Mathematical Sciences, Beihang University, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5070-5928","authenticated-orcid":false,"given":"Chenqi","family":"Mou","sequence":"additional","affiliation":[{"name":"LMIB-School of Mathematical Sciences, Beihang University, China"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.043"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11424-008-9103-0"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52200-1_3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.023"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52885-7_89"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1137\/151002666"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/16M106995X"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(83)90154-1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(84)90061-1"},{"key":"e_1_3_2_1_11_1","volume-title":"Effective methods in algebraic geometry","author":"Gallo Giovanni","unstructured":"Giovanni Gallo and Bhubaneswar Mishra. 1991. Efficient algorithms and bounds for Wu-Ritt characteristic sets. In Effective methods in algebraic geometry. Springer, 119\u2013142."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/143242.143348"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.025"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21969-6_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1011"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(91)90113-B"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208976.3208997"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2019.10.011"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.11.009"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0039-x"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2012.05.008"},{"key":"e_1_3_2_1_22_1","unstructured":"Joseph\u00a0Fels Ritt. 1950. Differential Algebra. Vol.\u00a033. American Mathematical Society."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/266670.266716"},{"key":"e_1_3_2_1_24_1","unstructured":"\u00c1gnes Sz\u00e1nt\u00f3. 1999. Computation with Polynomial Systems. Ph.\u00a0D. Dissertation."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0177"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0355"},{"key":"e_1_3_2_1_27_1","volume-title":"Elimination Methods","author":"Wang Dongming","unstructured":"Dongming Wang. 2001. Elimination Methods. Springer Science & Business Media."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073933"},{"key":"e_1_3_2_1_29_1","first-page":"1","article-title":"On zeros of algebraic equations: An application of Ritt principle","volume":"31","author":"Wu Wen-Tsun","year":"1986","unstructured":"Wen-Tsun Wu. 1986. On zeros of algebraic equations: An application of Ritt principle. Kexue Tongbao 31, 1 (1986), 1\u20135.","journal-title":"Kexue Tongbao"},{"key":"e_1_3_2_1_30_1","volume-title":"Artificial Intelligence in Mathematics","author":"Yang Lu","unstructured":"Lu Yang and Jingzhong Zhang. 1994. Searching dependency between algebraic equations: An algorithm applied to automated reasoning. In Artificial Intelligence in Mathematics. Oxford University Press, 147\u2013156."}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","location":"Raleigh NC USA","acronym":"ISSAC '24","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"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.3669692","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:53:56Z","timestamp":1758588836000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669692"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":30,"alternative-id":["10.1145\/3666000.3669692","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669692","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"}}]}}