{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T10:01:37Z","timestamp":1760608897208,"version":"3.37.3"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T00:00:00Z","timestamp":1448323200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61202306"],"award-info":[{"award-number":["61202306"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China (CN)","doi-asserted-by":"publisher","award":["61472158"],"award-info":[{"award-number":["61472158"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China (CN)","doi-asserted-by":"publisher","award":["61272207"],"award-info":[{"award-number":["61272207"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Heuristics"],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1007\/s10732-015-9305-2","type":"journal-article","created":{"date-parts":[[2015,11,24]],"date-time":"2015-11-24T16:28:11Z","timestamp":1448382491000},"page":"125-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Improving degree-based variable ordering heuristics for solving constraint satisfaction problems"],"prefix":"10.1007","volume":"22","author":[{"given":"Hongbo","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanchun","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinsong","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dong","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhanshan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,24]]},"reference":[{"key":"9305_CR1","doi-asserted-by":"crossref","unstructured":"Bessi\u00e8re, C., R\u00e8gin, J.C.: MAC and combined heuristics: two reasons to forsake FC (and CBJ?) on hard problems. In: Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (1996)","DOI":"10.1007\/3-540-61551-2_66"},{"key":"9305_CR2","unstructured":"Bessi\u00e8re, C., R\u00e8gin, J.C.: Arc consistency for general constraint networks: preliminary results. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence, Morgan Kaufmann (1997)"},{"key":"9305_CR3","unstructured":"Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Boosting systematic search by weighting constraints. In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence (2004)"},{"key":"9305_CR4","unstructured":"Dechter, R., Meiri, I.: Experimental evaluation of preprocessing techniques in constraint satisfaction problems. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence (1989)"},{"key":"9305_CR5","doi-asserted-by":"crossref","unstructured":"Gent, I.P., MacIntyre, E., Presser, P., Smith, B.M., Walsh, T.: An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem. In: Proceedings of the 2nd International Conference on Principles and Practice of Constraint Programming (1996)","DOI":"10.1007\/3-540-61551-2_74"},{"key":"9305_CR6","unstructured":"Gent, I.P., MacIntyre, E., Prosser, P., Walsh, T.: The constrainedness of search. In: Proceedings of the 13th National Conference on Artificial Intelligence (1996)"},{"key":"9305_CR7","unstructured":"Gomes, C.P., Selman, B., Kautz, H.: Boosting combinatorial search through randomization. In: Proceedings of the 27th AAAI Conference on Artificial Intelligence (1998)"},{"key":"9305_CR8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"RM Haralick","year":"1980","unstructured":"Haralick, R.M., Elliott, G.L.: Increasing tree search efficiency for constraint satisfaction problems. Artif. Intell. 14, 263\u2013313 (1980)","journal-title":"Artif. Intell."},{"key":"9305_CR9","doi-asserted-by":"crossref","unstructured":"Hwang, J., Mitchell, D.G.: 2-way vs d-way branching for CSP. In: Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (2005)","DOI":"10.1007\/11564751_27"},{"key":"9305_CR10","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s10601-011-9107-6","volume":"16","author":"C Lecoutre","year":"2011","unstructured":"Lecoutre, C.: STR2: optimized simple tabular reduction for table constraints. Constraints 16, 341\u2013371 (2011)","journal-title":"Constraints"},{"key":"9305_CR11","unstructured":"Lecoutre, C., Hemery, F.: A study of residual supports in arc consistency. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (2007)"},{"key":"9305_CR12","first-page":"21","volume":"2","author":"C Lecoutre","year":"2008","unstructured":"Lecoutre, C., Vion, J.: Enforcing arc consistency using bitwise operations. Constraint Program. Lett. 2, 21\u201335 (2008)","journal-title":"Constraint Program. Lett."},{"key":"9305_CR13","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8, 99\u2013118 (1977)","journal-title":"Artif. Intell."},{"key":"9305_CR14","doi-asserted-by":"crossref","unstructured":"Michel, L., Hentenryck, P.V.: Activity-based search for black-box constraint programming solvers. In: Proceedings of the 9th International Conference on Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems (2012)","DOI":"10.1007\/978-3-642-29828-8_15"},{"key":"9305_CR15","unstructured":"Mula, W.: SSSE3: fast popcount. http:\/\/wm.ite.pl\/articles\/sse-popcount.html , last updated (2011)"},{"key":"9305_CR16","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1613\/jair.3463","volume":"43","author":"G Pesant","year":"2012","unstructured":"Pesant, G., Quimper, C.G., Zanarini, A.: Counting-based search: branching heuristics for constraint satisfaction problems. J. Artif. Intell. Res. 43, 173\u2013210 (2012)","journal-title":"J. Artif. Intell. Res."},{"key":"9305_CR17","doi-asserted-by":"crossref","unstructured":"Refalo, P.: Impact-based search strategies for constraint programming. In: Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (2004)","DOI":"10.1007\/978-3-540-30201-8_41"},{"key":"9305_CR18","unstructured":"R\u00e8gin, J.C.: A filtering algorithm for constraints of difference in CSPs. In: Proceedings of the 12th National Conference on Artificial Intelligence (1994)"},{"key":"9305_CR19","doi-asserted-by":"crossref","unstructured":"R\u00e8gin, J.C., Rueher, M.: A global constraint combining a sum constraint and difference constraints. In: Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming (2000)","DOI":"10.1007\/3-540-45349-0_28"},{"key":"9305_CR20","doi-asserted-by":"crossref","unstructured":"Sabin, D., Freuder, E.C.: Contradicting conventional wisdom in constraint satisfaction. In: Proceedings of the 11th European Conference on Artificial Intelligence (1994)","DOI":"10.1007\/3-540-58601-6_86"},{"key":"9305_CR21","unstructured":"Smith, B.M., Grant, S.A.: Trying harder to fail first. In: Proceedings of the 13th European Conference on Artificial Intelligence (1998)"},{"key":"9305_CR22","doi-asserted-by":"crossref","first-page":"3639","DOI":"10.1016\/j.ins.2007.03.030","volume":"177","author":"JR Ullmann","year":"2007","unstructured":"Ullmann, J.R.: Partition search for non-binary constraint satisfaction. Inf. Sci. 177, 3639\u20133678 (2007)","journal-title":"Inf. Sci."},{"key":"9305_CR23","unstructured":"Walsh, T.: Search in a Small World. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (1999)"},{"key":"9305_CR24","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.: Random constraint satisfaction: easy generation of hard (satisfiable) instances. Artif. Intell. 171, 514\u2013534 (2007)","journal-title":"Artif. Intell."},{"key":"9305_CR25","doi-asserted-by":"crossref","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. J. Artif. Intell. Res. 12, 93\u2013103 (2000)","journal-title":"J. Artif. Intell. Res."}],"container-title":["Journal of Heuristics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10732-015-9305-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10732-015-9305-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10732-015-9305-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T17:34:21Z","timestamp":1567359261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10732-015-9305-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,24]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,4]]}},"alternative-id":["9305"],"URL":"https:\/\/doi.org\/10.1007\/s10732-015-9305-2","relation":{},"ISSN":["1381-1231","1572-9397"],"issn-type":[{"type":"print","value":"1381-1231"},{"type":"electronic","value":"1572-9397"}],"subject":[],"published":{"date-parts":[[2015,11,24]]}}}