{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T19:13:19Z","timestamp":1769022799288,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,14]],"date-time":"2015-06-14T00:00:00Z","timestamp":1434240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DMS-1313596, DMS-1208338, DMS-1352013, DMS-1401123"],"award-info":[{"award-number":["DMS-1313596, DMS-1208338, DMS-1352013, DMS-1401123"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,14]]},"DOI":"10.1145\/2746539.2746619","type":"proceedings-article","created":{"date-parts":[[2015,6,3]],"date-time":"2015-06-03T15:35:56Z","timestamp":1433345756000},"page":"59-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":58,"title":["Proof of the Satisfiability Conjecture for Large k"],"prefix":"10.1145","author":[{"given":"Jian","family":"Ding","sequence":"first","affiliation":[{"name":"University of Chicago, Chicago, IL, USA"}]},{"given":"Allan","family":"Sly","sequence":"additional","affiliation":[{"name":"University of California--Berkeley, Berkeley, CA, USA"}]},{"given":"Nike","family":"Sun","sequence":"additional","affiliation":[{"name":"Microsoft Research New England, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2015,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"721","volume-title":"Proc. 12th SODA","author":"Achlioptas D.","year":"2001"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2008.11"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703434231"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-04-00464-3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1214\/EJP.v12-463"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. 18th RANDOM","author":"Bapst V.","year":"2014"},{"issue":"23","key":"e_1_3_2_1_7_1","first-page":"1","article-title":"Recurrence of distributional limits of finite planar graphs","volume":"6","author":"Benjamini I.","year":"2001","journal-title":"Electron. J. Probab."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.1006"},{"key":"e_1_3_2_1_9_1","unstructured":"C. Bordenave and P. Caputo. Large deviations of empirical neighborhood distribution in sparse random graphs. http:\/\/arxiv.org\/abs\/1308.5725v1arXiv:1308.5725v1 2013.  C. Bordenave and P. Caputo. Large deviations of empirical neighborhood distribution in sparse random graphs. http:\/\/arxiv.org\/abs\/1308.5725v1arXiv:1308.5725v1 2013."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.v27:2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1992.267789"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/09076516X"},{"key":"e_1_3_2_1_13_1","unstructured":"A. Coja-Oghlan. Random regular k-sat. http:\/\/arxiv.org\/abs\/1310.2728v1arXiv:1310.2728v1 2013.  A. Coja-Oghlan. Random regular k-sat. http:\/\/arxiv.org\/abs\/1310.2728v1arXiv:1310.2728v1 2013."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213977.2214058"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488608.2488698"},{"key":"e_1_3_2_1_16_1","unstructured":"A. Coja-Oghlan and K. Panagiotou. The asymptotic k-sat threshold. http:\/\/arxiv.org\/abs\/1310.2728v5arXiv:1310.2728v5 2014.  A. Coja-Oghlan and K. Panagiotou. The asymptotic k-sat threshold. http:\/\/arxiv.org\/abs\/1310.2728v5arXiv:1310.2728v5 2014."},{"key":"e_1_3_2_1_17_1","unstructured":"J. Ding A. Sly and N. Sun. Maximum independent sets on random regular graphs. http:\/\/arxiv.org\/abs\/1310.4787arXiv:1310.4787v1 2013.  J. Ding A. Sly and N. Sun. Maximum independent sets on random regular graphs. http:\/\/arxiv.org\/abs\/1310.4787arXiv:1310.4787v1 2013."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591796.2591862"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00156-6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(87)90032-1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022885828956"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0894-0347-99-00305-7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1006\/jagm.1996.0016"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2554797.2554831"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1996.0081"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1098-2418(199805)12:3%3C253::AID-RSA3%3E3.0.CO;2-U"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0703685104"},{"key":"e_1_3_2_1_28_1","first-page":"1089","volume-title":"Proc. 16th SODA","author":"Maneva E.","year":"2005"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/rsa.v28:3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1592967"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1051\/jphyslet:019850046017077100"},{"key":"e_1_3_2_1_32_1","series-title":"World Scientific Lecture Notes in Physics","volume-title":"Spin glass theory and beyond","author":"M\u00e9zard M.","year":"1987"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1073287"},{"key":"e_1_3_2_1_34_1","article-title":"Two solutions to diluted p-spin models and xorsat problems","author":"M\u00e9zard M.","year":"2003","journal-title":"J. Statist. Phys., 111(3--4):505--533"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-5468\/2008\/04\/P04004"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00440-004-0342-2"},{"key":"e_1_3_2_1_37_1","unstructured":"B. Pittel and G. B. Sorkin. The satisfiability threshold for k-xorsat. http:\/\/arxiv.org\/abs\/1212.3822v2arXiv:1212.1905v2 2012.  B. Pittel and G. B. Sorkin. The satisfiability threshold for k-xorsat. http:\/\/arxiv.org\/abs\/1212.3822v2arXiv:1212.1905v2 2012."},{"key":"e_1_3_2_1_38_1","unstructured":"M. Rahman and B. Virag. Local algorithms for independent sets are half-optimal. http:\/\/arxiv.org\/abs\/1402.0485v1arXiv:1402.0485v1 2014.  M. Rahman and B. Virag. Local algorithms for independent sets are half-optimal. http:\/\/arxiv.org\/abs\/1402.0485v1arXiv:1402.0485v1 2014."}],"event":{"name":"STOC '15: Symposium on Theory of Computing","location":"Portland Oregon USA","acronym":"STOC '15","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the forty-seventh annual ACM symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746539.2746619","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2746539.2746619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:17:00Z","timestamp":1750227420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746539.2746619"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,14]]},"references-count":38,"alternative-id":["10.1145\/2746539.2746619","10.1145\/2746539"],"URL":"https:\/\/doi.org\/10.1145\/2746539.2746619","relation":{},"subject":[],"published":{"date-parts":[[2015,6,14]]},"assertion":[{"value":"2015-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}