{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:56:46Z","timestamp":1648857406405},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2008,3,12]],"date-time":"2008-03-12T00:00:00Z","timestamp":1205280000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des. Codes Cryptogr."],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s10623-008-9182-x","type":"journal-article","created":{"date-parts":[[2008,3,11]],"date-time":"2008-03-11T18:09:28Z","timestamp":1205258968000},"page":"47-60","source":"Crossref","is-referenced-by-count":12,"title":["On solving sparse algebraic equations over finite fields"],"prefix":"10.1007","volume":"49","author":[{"given":"Igor","family":"Semaev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,3,12]]},"reference":[{"key":"9182_CR1","unstructured":"Bardet M., Faug\u00e9re J.-C., Salvy B.: Complexity of Gr\u00f6bner basis computation for semiregular overdetermined sequences over F2 with solutions in F2. Research report RR\u20135049, INRIA (2003)."},{"key":"9182_CR2","unstructured":"Balakin G.V., Bachurin S.A.: Evaluation of the successive search for unknowns, (in Russian), Trudy po diskretnoj matematike, vol. 6, pp. 7\u201313. Fizmatlit (2002)."},{"key":"9182_CR3","unstructured":"Courtois N., Klimov A., Patarin J., Shamir A.: Efficient algorithms for solving overdefined systems of multivariate polynomial equations. In: Eurocrypt 2000, LNCS 1807, pp. 392\u2013407. Springer-Verlag (2000)."},{"key":"9182_CR4","first-page":"9","volume":"1","author":"V.P. Chistyakov","year":"1967","unstructured":"Chistyakov V.P. (1967). Discrete limit distributions in the problem of shots with arbitrary probabilities of occupancy of boxes. Matem. Zametki 1: 9\u201316","journal-title":"Matem. Zametki"},{"key":"9182_CR5","doi-asserted-by":"crossref","unstructured":"Faug\u00e9re J.-C.: A new efficient algorithm for computing Gr\u00f6bner bases without reduction to zero (F5). In: Proc. ISSAC 2002, pp. 75\u201383. ACM Press (2002).","DOI":"10.1145\/780506.780516"},{"key":"9182_CR6","first-page":"61","volume":"82","author":"K. Iwama","year":"2004","unstructured":"Iwama K. (2004). Worst-case upper bounds for kSAT. Bull. EATCS 82: 61\u201371","journal-title":"Bull. EATCS"},{"key":"9182_CR7","first-page":"144","volume":"11","author":"V. Kolchin","year":"1966","unstructured":"Kolchin V. (1966). The rate of convergence to limit distributions in the classical problem of shots. Teoriya veroyatn. i yeye primenen. 11: 144\u2013156","journal-title":"Teoriya veroyatn. i yeye primenen."},{"key":"9182_CR8","unstructured":"Kolchin V., Sevast\u2019yanov A., Chistyakov V.: Random Allocations. Wiley (1978)."},{"key":"9182_CR9","unstructured":"Raddum H.: Solving non-linear sparse equation systems over GF(2) using graphs. University of Bergen, preprint, 2004."},{"key":"9182_CR10","unstructured":"Raddum H., Semaev I.: New technique for solving sparse equation systems. Cryptology ePrint Archive, 2006\/475."},{"key":"9182_CR11","unstructured":"Raddum H., Semaev I.: Solving MRHS linear equations. Extended abstract, accepted at WCC (2007)."},{"key":"9182_CR12","unstructured":"Tsang E.P.K.: Foundations of Constraint Satisfaction. Academic Press (1993)."},{"key":"9182_CR13","unstructured":"Yang B.-Y., Chen J.-M., Courtois N.: On asymptotic security estimates in XL and Gr\u00f6bner bases-related algebraic cryptanalysis. In: ICICS 2004, LNCS 3269, pp. 401\u2013413. Springer-Verlag (2004)."},{"key":"9182_CR14","unstructured":"Zakrevskij A., Vasilkova I.: Reducing large systems of Boolean equations. In: 4th International Workshop on Boolean Problems, Freiberg University, September, 21\u201322 (2000)."}],"container-title":["Designs, Codes and Cryptography"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10623-008-9182-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10623-008-9182-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10623-008-9182-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:50:09Z","timestamp":1559245809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10623-008-9182-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,12]]},"references-count":14,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9182"],"URL":"https:\/\/doi.org\/10.1007\/s10623-008-9182-x","relation":{},"ISSN":["0925-1022","1573-7586"],"issn-type":[{"value":"0925-1022","type":"print"},{"value":"1573-7586","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,12]]}}}