{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:54:01Z","timestamp":1743022441121,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662437988"},{"type":"electronic","value":"9783662437995"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43799-5_14","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T03:46:18Z","timestamp":1412048778000},"page":"157-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Implementation and Complexity Analysis of the Branch Gr\u00f6bner Bases Algorithm Over Boolean Polynomial Rings"],"prefix":"10.1007","author":[{"given":"Yao","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dingkang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"14_CR1","first-page":"207","volume":"4","author":"WT Wu","year":"1984","unstructured":"Wu, W.T.: Basic principles of mechanical theorem-proving in elementary geometries. J. Sys. Sci. Math. Sci. 4, 207\u2013235 (1984)","journal-title":"J. Sys. Sci. Math. Sci."},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"WT Wu","year":"1986","unstructured":"Wu, W.T.: Basic principles of mechanical theorem-proving in elementary geometries. J. Autom. Reason. 2, 221\u2013252 (1986)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"JC Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6bner bases (f4). J. Pure Appl. Algebr. 139(1), 61\u201388 (1999)","journal-title":"J. Pure Appl. Algebr."},{"doi-asserted-by":"crossref","unstructured":"Faug\u00e8re, J.C.: A new efficient algorithm for computing Gr\u00f6nber bases without reduction to zero (F5). Symbolic and Algebraic Computation, Porc. Conferenz ISSAC 2002, 75\u201383 (2002)","key":"14_CR4","DOI":"10.1145\/780506.780516"},{"unstructured":"Brickenstein, M., Dreyer, A.: PolyBoRi: A framework for Gr\u00f6bner basis computations with boolean polynomials. MEGA 2007, Austria (2007)","key":"14_CR5"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s11424-008-9128-4","volume":"21","author":"XS Gao","year":"2008","unstructured":"Gao, X.S., Chai, F.J., Yuan, C.M.: A characteristic set method for equation solving in F2 and applications in cryptanalysis of stream ciphers. J. Syst. Sci. Complex. 21, 191\u2013208 (2008)","journal-title":"J. Syst. Sci. Complex."},{"unstructured":"Sun, Y., Wang, D.K.: Branch Gr\u00f6bner bases algorithm over boolean ring (Chinese). Preprint (2009)","key":"14_CR7"},{"unstructured":"Bardet, M., Faug\u00e8re, J.C., Salvy, B.: Complexity of Gr\u00f6nber basis computation for Semi-regular overdetermined sequences over F$$_2$$ with solutions in F$$_2$$. In: Proceedings of the ICPPSS International Conference on Polynomial System Solving Paris, November 24\u201325-26 2004 in honor of Daniel Lazard (2004)","key":"14_CR8"},{"unstructured":"Faug\u00e8re, J.C., Ars, G.: An Algebraic Cryptanalysis of Nonlinear Filter Generators Using Gr\u00f6bner Bases. Reserch report 4739, Institut National de Recherche en Informatique et en Automatique, Lorraine (2003)","key":"14_CR9"}],"container-title":["Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43799-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T21:33:32Z","timestamp":1676410412000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-43799-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437988","9783662437995"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43799-5_14","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}