{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T04:55:20Z","timestamp":1751604920431},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"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":["Front. Comput. Sci."],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s11704-021-1189-8","type":"journal-article","created":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T16:41:50Z","timestamp":1646152910000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Super solutions of the model RB"],"prefix":"10.1007","volume":"16","author":[{"given":"Guangyan","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,1]]},"reference":[{"key":"1189_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1613\/jair.696","volume":"12","author":"K Xu","year":"2000","unstructured":"Xu K, Li W. Exact phase transitions in random constraint satisfaction problems. Journal of Artificial Intelligence Research, 2000, 12: 93\u2013103","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1\u20132","key":"1189_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0004-3702(95)00052-6","volume":"81","author":"B M Smith","year":"1996","unstructured":"Smith B M, Dyer M E. Locating the phase transition in binary constraint satisfaction problems. Artificial Intelligence, 1996, 81(1\u20132): 155\u2013181","journal-title":"Artificial Intelligence"},{"issue":"3","key":"1189_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.tcs.2006.01.001","volume":"355","author":"K Xu","year":"2006","unstructured":"Xu K, Li W. Many hard examples in exact phase transitions. Theoretical Computer Science, 2006, 355(3): 291\u2013302","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1189_CR4","doi-asserted-by":"publisher","first-page":"016106","DOI":"10.1103\/PhysRevE.85.016106","volume":"85","author":"C Zhao","year":"2012","unstructured":"Zhao C, Zhang P, Zhang Z, Xu K. Analytical and belief-propagation studies of random constraint satisfaction problems with growing domains. Physical Review E, 2012, 85(1): 016106","journal-title":"Physical Review E"},{"issue":"02","key":"1189_CR5","doi-asserted-by":"publisher","first-page":"P02019","DOI":"10.1088\/1742-5468\/2011\/02\/P02019","volume":"2011","author":"C Zhao","year":"2011","unstructured":"Zhao C, Zhou H, Zheng Z, Xu K. A message-passing approach to random constraint satisfaction problems with growing domains. Journal of Statistical Mechanics: Theory and Experiment, 2011, 2011(02): P02019","journal-title":"Journal of Statistical Mechanics: Theory and Experiment"},{"issue":"12","key":"1189_CR6","doi-asserted-by":"publisher","first-page":"P12006","DOI":"10.1088\/1742-5468\/2015\/12\/P12006","volume":"2015","author":"W Xu","year":"2015","unstructured":"Xu W, Zhang P, Liu T, Gong F. The solution space structure of random constraint satisfaction problems with growing domains. Journal of Statistical Mechanics: Theory and Experiment, 2015, 2015(12): P12006","journal-title":"Journal of Statistical Mechanics: Theory and Experiment"},{"key":"1189_CR7","doi-asserted-by":"crossref","unstructured":"Hebrard E, Hnich B, Walsh T. Super solutions in constraint programming. In: Proceedings of the 1st International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming. 2004, 157\u2013172","DOI":"10.1007\/978-3-540-24664-0_11"},{"key":"1189_CR8","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2016.04.041","volume":"657","author":"P Zhang","year":"2017","unstructured":"Zhang P, Gao Y. A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming. Theoretical Computer Science, 2017, 657: 98\u2013110","journal-title":"Theoretical Computer Science"},{"key":"1189_CR9","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.tcs.2019.04.015","volume":"793","author":"B Wang","year":"2019","unstructured":"Wang B, Zhou G. Super solutions of random (3+p)-SAT. Theoretical Computer Science, 2019, 793: 14\u201327","journal-title":"Theoretical Computer Science"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-021-1189-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-021-1189-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-021-1189-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T21:33:18Z","timestamp":1705699998000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-021-1189-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,1]]},"references-count":9,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["1189"],"URL":"https:\/\/doi.org\/10.1007\/s11704-021-1189-8","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3,1]]},"assertion":[{"value":"21 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 March 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"166406"}}