{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T04:02:24Z","timestamp":1742702544764,"version":"3.40.2"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:00:00Z","timestamp":1706054400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:00:00Z","timestamp":1706054400000},"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":[[2024,2]]},"DOI":"10.1007\/s11704-023-3402-4","type":"journal-article","created":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T10:02:54Z","timestamp":1706090574000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Exact satisfiability and phase transition analysis of the regular (k, d)-CNF formula"],"prefix":"10.1007","volume":"18","author":[{"given":"Guoxia","family":"Nie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daoyun","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zaijun","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,24]]},"reference":[{"issue":"3\u20134","key":"3402_CR1","doi-asserted-by":"crossref","first-page":"914","DOI":"10.1016\/j.artint.2010.11.004","volume":"175","author":"Y Fan","year":"2011","unstructured":"Fan Y, Shen J. On the phase transitions of random k-constraint satisfaction problems. Artificial Intelligence, 2011, 175(3\u20134): 914\u2013927","journal-title":"Artificial Intelligence"},{"key":"3402_CR2","volume-title":"Faster solutions for exact hitting and exact SAT","author":"L Drori","year":"1999","unstructured":"Drori L, Peleg D. Faster solutions for exact hitting and exact SAT. Jerusalem: Weizmann Science Press of Israel, 1999"},{"issue":"1\u20133","key":"3402_CR3","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1016\/j.tcs.2004.12.023","volume":"332","author":"J M Byskov","year":"2005","unstructured":"Byskov J M, Madsen B A, Skjernaa B. New algorithms for Exact Satisfiability. Theoretical Computer Science, 2005, 332(1\u20133): 515\u2013541","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"3402_CR4","first-page":"349","volume":"3","author":"C Moore","year":"2016","unstructured":"Moore C. The phase transition in random regular exact cover. Annales del\u2019 Institut Henri Poincare D 2016, 3(3): 349\u2013362","journal-title":"Annales del\u2019 Institut Henri Poincare D"},{"key":"3402_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813603","volume-title":"Probability and Computing: Randomized Algorithms and Probabilistic Analysis","author":"M Mitzenmacher","year":"2005","unstructured":"Mitzenmacher M, Upfal E. Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge: University of Cambridge, 2005"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-023-3402-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-023-3402-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-023-3402-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T03:58:56Z","timestamp":1742615936000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-023-3402-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,24]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["3402"],"URL":"https:\/\/doi.org\/10.1007\/s11704-023-3402-4","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"type":"print","value":"2095-2228"},{"type":"electronic","value":"2095-2236"}],"subject":[],"published":{"date-parts":[[2024,1,24]]},"assertion":[{"value":"13 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Competing interests The authors declare that they have no competing interests or financial conflicts to disclose.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics"}}],"article-number":"181405"}}