{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T18:13:10Z","timestamp":1719598390252},"reference-count":37,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1137\/120895950","type":"journal-article","created":{"date-parts":[[2015,8,26]],"date-time":"2015-08-26T14:02:34Z","timestamp":1440597754000},"page":"1119-1153","source":"Crossref","is-referenced-by-count":7,"title":["Space Complexity in Polynomial Calculus"],"prefix":"10.1137","volume":"44","author":[{"given":"Yuval","family":"Filmus","sequence":"first","affiliation":[]},{"given":"Massimo","family":"Lauria","sequence":"additional","affiliation":[]},{"given":"Jakob","family":"Nordstr\u00f6m","sequence":"additional","affiliation":[]},{"given":"Noga","family":"Ron-Zewi","sequence":"additional","affiliation":[]},{"given":"Neil","family":"Thapen","sequence":"additional","affiliation":[]}],"member":"351","reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700366735"},{"key":"atypb2","first-page":"18","volume":"242","author":"Alekhnovich M.","year":"2003","journal-title":"Proc. Steklov Inst. Math."},{"key":"atypb3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2007.06.025"},{"key":"atypb4","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1613\/jair.3152","volume":"40","author":"Atserias A.","year":"2011","journal-title":"J. Artificial Intelligence Res."},{"key":"atypb6","first-page":"199","author":"Beame P.","year":"2004","journal-title":"RI"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539700369156"},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1137\/080723880"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.10089"},{"key":"atypb12","doi-asserted-by":"publisher","DOI":"10.1007\/s00037-010-0293-1"},{"key":"atypb13","first-page":"16","author":"Ben-Sasson E.","year":"2010","journal-title":"New York"},{"key":"atypb16","doi-asserted-by":"publisher","DOI":"10.1145\/375827.375835"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2008.02.017"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2008.11.043"},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1726"},{"key":"atypb26","first-page":"4","author":"Buss S. R.","year":"2008","journal-title":"Log. Methods Comput. Sci."},{"key":"atypb27","first-page":"149","author":"Buss S. R.","year":"1998","journal-title":"New York"},{"key":"atypb28","doi-asserted-by":"publisher","DOI":"10.1145\/48014.48016"},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.2307\/2273702"},{"key":"atypb31","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(87)90039-4"},{"key":"atypb32","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"atypb33","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"atypb34","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2921"},{"key":"atypb35","first-page":"437","author":"Filmus Y.","year":"2013","journal-title":"New York"},{"key":"atypb39","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90144-6"},{"key":"atypb41","doi-asserted-by":"publisher","DOI":"10.1007\/s000370050024"},{"key":"atypb42","first-page":"316","author":"Ja\u0308rvisalo M.","year":"2012","journal-title":"New York"},{"key":"atypb43","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"atypb46","doi-asserted-by":"publisher","DOI":"10.1137\/060668250"},{"key":"atypb47","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2009.06.006"},{"key":"atypb48","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(3:15)2013"},{"key":"atypb49","doi-asserted-by":"publisher","DOI":"10.4086\/toc.2013.v009a014"},{"key":"atypb50","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.10.002"},{"key":"atypb51","doi-asserted-by":"publisher","DOI":"10.2307\/2275583"},{"key":"atypb52","doi-asserted-by":"publisher","DOI":"10.1007\/s000370050013"},{"key":"atypb53","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"atypb55","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1203350879"},{"key":"atypb56","doi-asserted-by":"publisher","DOI":"10.1145\/7531.8928"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/120895950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T17:40:33Z","timestamp":1567100433000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/120895950"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["10.1137\/120895950"],"URL":"https:\/\/doi.org\/10.1137\/120895950","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}