{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,9]],"date-time":"2026-09-09T13:50:20Z","timestamp":1788961820771,"version":"build-2803163510"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319104270","type":"print"},{"value":"9783319104287","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10428-7_33","type":"book-chapter","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T21:33:54Z","timestamp":1407879234000},"page":"440-448","source":"Crossref","is-referenced-by-count":5,"title":["On the Erd\u0151s Discrepancy Problem"],"prefix":"10.1007","author":[{"given":"Ronan","family":"Le Bras","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carla P.","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bart","family":"Selman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"33_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0166-218X(81)90022-6","volume":"3","author":"J. Beck","year":"1981","unstructured":"Beck, J., Fiala, T.: Integer-Making theorems. Discrete Applied Mathematics\u00a03, 1\u20138 (1981)","journal-title":"Discrete Applied Mathematics"},{"key":"33_CR2","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1090\/S0002-9947-1985-0784009-0","volume":"289","author":"J. Spencer","year":"1985","unstructured":"Spencer, J.: Six standard deviations suffice. Transactions of the American Mathematical Society\u00a0289, 679\u2013706 (1985)","journal-title":"Transactions of the American Mathematical Society"},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0304-0208(08)70415-8","volume":"74","author":"P. Erd\u00f6s","year":"1982","unstructured":"Erd\u00f6s, P.: Some of my favourite problems which recently have been solved. North-Holland Mathematics Studies\u00a074, 59\u201379 (1982)","journal-title":"North-Holland Mathematics Studies"},{"key":"33_CR4","unstructured":"Nikolov, A., Talwar, K.: On the hereditary discrepancy of homogeneous arithmetic progressions. arXiv preprint arXiv:1309.6034 (2013)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Konev, B., Lisitsa, A.: A sat attack on the erdos discrepancy conjecture (2014)","DOI":"10.1007\/978-3-319-09284-3_17"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Heule, M.J., Hunt, W.A., Wetzler, N.: Trimming while checking clausal proofs. In: Formal Methods in Computer-Aided Design (FMCAD), pp. 181\u2013188. IEEE (2013)","DOI":"10.1109\/FMCAD.2013.6679408"},{"key":"33_CR7","unstructured":"Biere, A.: Lingeling, plingeling and treengeling entering the sat competition 2013. In: Proceedings of SAT Competition (2013); Solver and (2013) 51"},{"key":"33_CR8","unstructured":"Audemard, G., Simon, L.: Glucose 2.3 in the sat 2013 competition. In: Proceedings of SAT Competition (2013); Solver and (2013) 42"},{"key":"33_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-30201-8_22","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2004","author":"C. Gomes","year":"2004","unstructured":"Gomes, C., Sellmann, M.: Streamlined constraint reasoning. In: Wallace, M. (ed.) CP 2004. LNCS, vol.\u00a03258, pp. 274\u2013289. Springer, Heidelberg (2004)"},{"key":"33_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11499107_11","volume-title":"Theory and Applications of Satisfiability Testing","author":"M. Kouril","year":"2005","unstructured":"Kouril, M., Franco, J.: Resolution tunnels for improved sat solver performance. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol.\u00a03569, pp. 143\u2013157. Springer, Heidelberg (2005)"},{"key":"33_CR11","unstructured":"Le Bras, R., Gomes, C.P., Selman, B.: From streamlined combinatorial search to efficient constructive procedures. In: Proceedings of the 15th International Conference on Artificial Intelligence, AAAI 2012 (2012)"},{"key":"33_CR12","unstructured":"Le Bras, R., Gomes, C.P., Selman, B.: Double-wheel graphs are graceful. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI 2013, pp. 587\u2013593. AAAI Press (2013)"},{"key":"33_CR13","unstructured":"Polymath1: Matryoshka Sequences, \n                    \n                      http:\/\/michaelnielsen.org\/polymath1\/index.php?title=Matryoshka_Sequences\n                    \n                    \n                   (accessed April 11, 2014)"},{"key":"33_CR14","unstructured":"Wetzler, N., Heule, M.J., Hunt Jr., W.A.: (Drat-trim: Efficient checking and trimming using expressive clausal proofs)"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"Konev, B., Lisitsa, A.: Computer-aided proof of erdos discrepancy properties. arXiv preprint arXiv:1405.3097 (2014)","DOI":"10.1016\/j.artint.2015.03.004"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10428-7_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T11:19:25Z","timestamp":1558955965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10428-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104270","9783319104287"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10428-7_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}