{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T07:26:21Z","timestamp":1648538781697},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,2,15]],"date-time":"2012-02-15T00:00:00Z","timestamp":1329264000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds & Machines"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1007\/s11023-012-9270-6","type":"journal-article","created":{"date-parts":[[2012,2,14]],"date-time":"2012-02-14T07:05:25Z","timestamp":1329203125000},"page":"95-103","source":"Crossref","is-referenced-by-count":2,"title":["Variable-Centered Consistency in Model RB"],"prefix":"10.1007","volume":"23","author":[{"given":"Liang","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tian","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ke","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,15]]},"reference":[{"key":"9270_CR1","unstructured":"Bessiere, C. (2006). Constraint propagation, handbook of constraint programming (pp. 29\u201384)."},{"issue":"9\u201310","key":"9270_CR2","doi-asserted-by":"crossref","first-page":"1672","DOI":"10.1016\/j.artint.2011.03.003","volume":"175","author":"S. Cai","year":"2011","unstructured":"Cai, S., Su, K., & Sattar, A. (2011). Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artificial Intelligence, 175(9\u201310), 1672\u20131696.","journal-title":"Artificial Intelligence"},{"key":"9270_CR3","unstructured":"Cheeseman, P., Kanefsky, R., & Taylor, W. (1991). Where the really hard problems are. In Proceedings of IJCAI (pp. 163\u2013169)."},{"key":"9270_CR4","volume-title":"Constraint processing","author":"R. Dechter","year":"2003","unstructured":"Dechter, R. (2003). Constraint processing. San Mateo, CA: Morgan Kaufmann."},{"key":"9270_CR5","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. (2011). On the phase transitions of random k-constraint satisfaction problems. Artificial Intelligence, 175, 914\u2013927.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9270_CR6","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E. C. Freuder","year":"1982","unstructured":"Freuder, E. C. (1982). A sufficient condition for backtrack-free search. Journal of the Association for Computing Machinery, 29(1), 24\u201332.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"9270_CR7","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1613\/jair.2155","volume":"28","author":"Y. Gao","year":"2007","unstructured":"Gao, Y., & Culberson, J. C. (2007). Consistency and random constraint satisfaction models. Journal of Artificial Intelligence Research, 28, 517\u2013557.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9270_CR8","unstructured":"Gomes, C., & Walsh, T. (2006). Randomness and structures, handbook of constraint programming (pp. 639\u2013664)."},{"key":"9270_CR9","doi-asserted-by":"crossref","DOI":"10.1002\/9781118032718","volume-title":"Random graphs","author":"S. Janson","year":"2000","unstructured":"Janson, S., Luczak, T., & Rucinski, A. (2000). Random graphs. New York: Wiley."},{"key":"9270_CR10","doi-asserted-by":"crossref","DOI":"10.1002\/9780470611821","volume-title":"Constraint networks: Techniques and algorithms","author":"C. Lecoutre","year":"2009","unstructured":"Lecoutre, C. (2009). Constraint networks: Techniques and algorithms. New York: ISTE\/Wiley."},{"issue":"4","key":"9270_CR11","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1007\/s11432-010-0084-y","volume":"53","author":"W. Li","year":"2010","unstructured":"Li, W. (2010). Logical verification of scientific discovery. Science China Information Sciences, 53(4), 677\u2013684.","journal-title":"Science China Information Sciences"},{"key":"9270_CR12","unstructured":"Liu, T., Lin, X., Wang, C., Su, K., & Xu, K. (2011). Large hinge width on sparse random hypergraphs. In Proceedings of the 22nd international joint conference on artificial intelligence (IJCAI\u20192011) (pp. 611\u2013616)."},{"issue":"2","key":"9270_CR13","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/s11432-010-4172-9","volume":"54","author":"J. Luo","year":"2011","unstructured":"Luo, J., & Li, W. (2011). An algorithm to compute maximal contractions for Horn clauses. Science China Information Sciences, 54(2), 244\u2013257.","journal-title":"Science China Information Sciences"},{"key":"9270_CR14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Mackworth, A. K. (1977). Consistency in networks of relations. Artificial Intelligence, 8, 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"9270_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813603","volume-title":"Probability and computing","author":"M. Mitzenmacher","year":"2005","unstructured":"Mitzenmacher, M., & Upfal, E. (2005). Probability and computing. Cambridge, UK: Cambridge University Press."},{"key":"9270_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U. (1974). Networks of constraints: Fundamental properties and applications to picture processing. Information sciences, 7, 95\u2013132.","journal-title":"Information Sciences"},{"key":"9270_CR17","volume-title":"Foundations of constraint satisfaction","author":"E.P.K. Tsang","year":"1993","unstructured":"Tsang, E. P. K. (1993). Foundations of constraint satisfaction. London and San Diego: Academic Press."},{"key":"9270_CR18","unstructured":"Xu, K. (2004). BHOSLIB: Benchmarks with hidden optimum solutions for graph problems. http:\/\/www.nlsde.buaa.edu.cn\/kexu\/benchmarks\/graph-benchmarks.htm ."},{"key":"9270_CR19","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1613\/jair.696","volume":"12","author":"K. Xu","year":"2000","unstructured":"Xu, K., & Li, W. (2000). Exact phase transitions in random constraint satisfaction problems. Journal of Artificial Intelligence Research, 12, 93\u2013103.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9270_CR20","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.tcs.2006.01.001","volume":"355","author":"K. Xu","year":"2006","unstructured":"Xu, K., & Li, W. (2006). Many hard examples in exact phase transitions. Theoretical Computer Science, 355, 291\u2013302.","journal-title":"Theoretical Computer Science"},{"key":"9270_CR21","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1016\/j.artint.2007.04.001","volume":"171","author":"K. Xu","year":"2007","unstructured":"Xu, K., Boussemart, F., Hemery, F., & Lecoutre, C. (2007). Random constraint satisfaction: Easy generation of hard (satisfiable) instances. Artificial Intelligence, 171, 514\u2013534.","journal-title":"Artificial Intelligence"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-012-9270-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11023-012-9270-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-012-9270-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T17:24:38Z","timestamp":1561310678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11023-012-9270-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,15]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["9270"],"URL":"https:\/\/doi.org\/10.1007\/s11023-012-9270-6","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,15]]}}}