{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:11Z","timestamp":1750307411464,"version":"3.41.0"},"reference-count":8,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2010,6,24]],"date-time":"2010-06-24T00:00:00Z","timestamp":1277337600000},"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":[[2010,6,24]]},"DOI":"10.1145\/1823931.1823940","type":"journal-article","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T13:02:22Z","timestamp":1277816542000},"page":"83-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Implementation of Boolean Gr\u00f6bner bases in Risa\/Asir"],"prefix":"10.1145","volume":"43","author":[{"given":"Shutaro","family":"Inoue","sequence":"first","affiliation":[{"name":"Tokyo University of Science"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosuke","family":"Sato","sequence":"additional","affiliation":[{"name":"Tokyo University of Science"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Inoue S. (2009). On the Computation of Comprehensive Boolean Gr\u00f6bner Bases. Submitted for publication.  Inoue S. (2009). On the Computation of Comprehensive Boolean Gr\u00f6bner Bases. Submitted for publication.","DOI":"10.1007\/978-3-642-04103-7_13"},{"key":"e_1_2_1_2_1","unstructured":"Noro M. et al. (2009). A Computer Algebra System Risa\/Asir. http:\/\/www.math.kobe-u.ac.jp\/Asir\/asir.html  Noro M. et al. (2009). A Computer Algebra System Risa\/Asir. http:\/\/www.math.kobe-u.ac.jp\/Asir\/asir.html"},{"key":"e_1_2_1_3_1","unstructured":"Sakai K. and Sato Y. (1988). Boolean Gr\u00f6bner bases. ICOT Technical Momorandum 488. http:\/\/www.icot.or.jp\/ARCHIVE\/Museum\/TRTM\/tm-list-E.html  Sakai K. and Sato Y. (1988). Boolean Gr\u00f6bner bases. ICOT Technical Momorandum 488. http:\/\/www.icot.or.jp\/ARCHIVE\/Museum\/TRTM\/tm-list-E.html"},{"key":"e_1_2_1_5_1","unstructured":"Sato Y. et al.(1996). Set Constrains Solvers(Prolog version). http:\/\/www.icot.or.jp\/ARCHIVE\/Museum\/FUNDING\/funding-96-E.html  Sato Y. et al.(1996). Set Constrains Solvers(Prolog version). http:\/\/www.icot.or.jp\/ARCHIVE\/Museum\/FUNDING\/funding-96-E.html"},{"key":"e_1_2_1_6_1","unstructured":"Sato Y. et al.(1998). Set Constrains Solvers(Klic version). http:\/\/www.icot.or.jp\/ARCHIVE\/Museum\/FUNDING\/funding-98-E.html  Sato Y. et al.(1998). Set Constrains Solvers(Klic version). http:\/\/www.icot.or.jp\/ARCHIVE\/Museum\/FUNDING\/funding-98-E.html"},{"first-page":"145","volume-title":"On the Construction of Comprehensive Boolean Gr\u00f6bner Bases. Proceedings of the Seventh Asian Symposium on Computer Mathematics(ASCM2005)","author":"Sato Y.","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","unstructured":"Sato Y. Inoue S. Suzuki A. and Nabeshima K. Boolean Gr\u00f6bner Bases and Sudoku. Submitted for publication.  Sato Y. Inoue S. Suzuki A. and Nabeshima K. Boolean Gr\u00f6bner Bases and Sudoku. Submitted for publication."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87827-8_29"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1823931.1823940","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1823931.1823940","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:33Z","timestamp":1750246773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1823931.1823940"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,24]]},"references-count":8,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2010,6,24]]}},"alternative-id":["10.1145\/1823931.1823940"],"URL":"https:\/\/doi.org\/10.1145\/1823931.1823940","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2010,6,24]]},"assertion":[{"value":"2010-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}