{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:51Z","timestamp":1760061651475,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T00:00:00Z","timestamp":1534118400000},"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":[],"published-print":{"date-parts":[[2018,8,13]]},"DOI":"10.1145\/3225058.3225097","type":"proceedings-article","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T19:13:06Z","timestamp":1533755586000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["PBCS"],"prefix":"10.1145","author":[{"given":"Juan","family":"Zhao","sequence":"first","affiliation":[{"name":"College of Meteorology and Oceanology, College of Computer, National University of Defense Technology, Changsha, Hunan, China"}]},{"given":"Junqiang","family":"Song","sequence":"additional","affiliation":[{"name":"College of Meteorology and Oceanology, National University of Defense Technology, Changsha, Hunan, China"}]},{"given":"Min","family":"Zhu","sequence":"additional","affiliation":[{"name":"College of Meteorology and Oceanology, National University of Defense Technology, Changsha, Hunan, China"}]},{"given":"Jincai","family":"Li","sequence":"additional","affiliation":[{"name":"College of Meteorology and Oceanology, National University of Defense Technology, Changsha, Hunan, China"}]},{"given":"Zhenyu","family":"Huang","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Information Security, Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China"}]},{"given":"Xiaoyong","family":"Li","sequence":"additional","affiliation":[{"name":"College of Meteorology and Oceanology, National University of Defense Technology, Changsha, Hunan, China"}]},{"given":"Xiaoli","family":"Ren","sequence":"additional","affiliation":[{"name":"College of Meteorology and Oceanology, National University of Defense Technology, Changsha, Hunan, China"}]}],"member":"320","published-online":{"date-parts":[[2018,8,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the International Conference on Polynomial System Solving. 71--74","author":"Bardet Magali","year":"2004","unstructured":"Magali Bardet , Jean-Charles Faugere , and Bruno Salvy . 2004 . On the complexity of Gr\u00f6bner basis computation of semi-regular overdetermined algebraic equations . In Proceedings of the International Conference on Polynomial System Solving. 71--74 . Magali Bardet, Jean-Charles Faugere, and Bruno Salvy. 2004. On the complexity of Gr\u00f6bner basis computation of semi-regular overdetermined algebraic equations. In Proceedings of the International Conference on Polynomial System Solving. 71--74."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-540-74735-2_31"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1006\/jsco.1999.1562"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1016\/j.jsc.2008.02.017"},{"key":"e_1_3_2_1_5_1","volume-title":"From Satisfiability to Proof Complexity and Bounded Arithmetic. SAT","author":"Cook S","year":"2004","unstructured":"S Cook . 2004. From Satisfiability to Proof Complexity and Bounded Arithmetic. SAT ( 2004 ). S Cook. 2004. From Satisfiability to Proof Complexity and Bounded Arithmetic. SAT (2004)."},{"volume-title":"Logical foundations of proof complexity","author":"Cook Stephen","unstructured":"Stephen Cook and Phuong Nguyen . 2010. Logical foundations of proof complexity . Cambridge University Press . Stephen Cook and Phuong Nguyen. 2010. Logical foundations of proof complexity. Cambridge University Press.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.5555\/1756169.1756206"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/1073884.1073901"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/11836810_13"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/2465506.2465522"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/S0022-4049(99)00005-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1837210.1837225"},{"key":"e_1_3_2_1_14_1","volume-title":"Frank Volny IV, and Mingsheng Wang","author":"Gao Shuhong","year":"2016","unstructured":"Shuhong Gao , Frank Volny IV, and Mingsheng Wang . 2016 . A new framework for computing Gr\u00f6bner bases. Mathematics of computation 85, 297 (2016), 449--465. Shuhong Gao, Frank Volny IV, and Mingsheng Wang. 2016. A new framework for computing Gr\u00f6bner bases. Mathematics of computation 85, 297 (2016), 449--465."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1016\/j.jsc.2011.12.025"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/j.jsc.2008.02.010"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.5555\/2026469.2026476"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1016\/j.tcs.2017.03.005"},{"key":"e_1_3_2_1_19_1","volume-title":"On the efficiency of solving boolean polynomial systems with the characteristic set method. arXiv preprint arXiv:1405.4596","author":"Huang Zhenyu","year":"2014","unstructured":"Zhenyu Huang , Yao Sun , and Dongdai Lin . 2014. On the efficiency of solving boolean polynomial systems with the characteristic set method. arXiv preprint arXiv:1405.4596 ( 2014 ). Zhenyu Huang, Yao Sun, and Dongdai Lin. 2014. On the efficiency of solving boolean polynomial systems with the characteristic set method. arXiv preprint arXiv:1405.4596 (2014)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/978-3-642-31464-3_19"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1007\/978-3-642-10433-6_5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/2442829.2442860"},{"key":"e_1_3_2_1_24_1","volume-title":"CUDD: CU decision diagram package release 3.0. 0","author":"Somenzi Fabio","year":"2015","unstructured":"Fabio Somenzi . 2015 . CUDD: CU decision diagram package release 3.0. 0 . University of Colorado at Boulder (2015) . Fabio Somenzi. 2015. CUDD: CU decision diagram package release 3.0. 0. University of Colorado at Boulder (2015)."},{"key":"e_1_3_2_1_25_1","first-page":"384","article-title":"Distributed computing model for Wu's method","volume":"16","author":"Wu Yong-Wei","year":"2005","unstructured":"Yong-Wei Wu , Guang-Wen Yang , Hong Yang , Wei-Min Zheng , and Dong-Dai Lin . 2005 . Distributed computing model for Wu's method . Ruan Jian Xue Bao (J. Softw.) 16 , 3 (2005), 384 -- 391 . Yong-Wei Wu, Guang-Wen Yang, Hong Yang, Wei-Min Zheng, and Dong-Dai Lin. 2005. Distributed computing model for Wu's method. Ruan Jian Xue Bao (J. Softw.) 16, 3 (2005), 384--391.","journal-title":"Ruan Jian Xue Bao (J. Softw.)"}],"event":{"sponsor":["University of Oregon University of Oregon"],"acronym":"ICPP 2018","name":"ICPP 2018: 47th International Conference on Parallel Processing","location":"Eugene OR USA"},"container-title":["Proceedings of the 47th International Conference on Parallel Processing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3225058.3225097","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3225058.3225097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:07Z","timestamp":1750210747000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3225058.3225097"}},"subtitle":["An Efficient Parallel Characteristic Set Method for Solving Boolean Polynomial Systems"],"short-title":[],"issued":{"date-parts":[[2018,8,13]]},"references-count":23,"alternative-id":["10.1145\/3225058.3225097","10.1145\/3225058"],"URL":"https:\/\/doi.org\/10.1145\/3225058.3225097","relation":{},"subject":[],"published":{"date-parts":[[2018,8,13]]},"assertion":[{"value":"2018-08-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}