{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,27]],"date-time":"2026-10-27T18:39:30Z","timestamp":1793126370921,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540602996","type":"print"},{"value":"9783540447887","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:34Z","timestamp":1330280074000},"page":"258-275","source":"Crossref","is-referenced-by-count":23,"title":["Dynamic variable ordering in CSPs"],"prefix":"10.1007","author":[{"given":"Fahiem","family":"Bacchus","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul","family":"Run","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"11","key":"16_CR1","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1145\/361219.361224","volume":"18","author":"J. R. Bitner","year":"1975","unstructured":"J. R. Bitner and Reingold E. Backtracking programming techniques. Communications of the ACM, 18(11):651\u2013656, 1975.","journal-title":"Communications of the ACM"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Fahiem Bacchus and Adam Grove. On the Forward Checking algorithm. In First International Conference on Principles and Practice of Constraint Programming (CP95), 1995.","DOI":"10.1007\/3-540-60299-2_18"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","volume":"41","author":"R. Dechter","year":"1990","unstructured":"R. Dechter. Enhancement schemes for constraint processing: Backjumping, learning and cutset decomposition. Artificial Intelligence, 41:273\u2013312, 1990.","journal-title":"Artificial Intelligence"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0004-3702(94)90068-X","volume":"68","author":"R. Dechter","year":"1994","unstructured":"R. Dechter and Itay Meiri. Experimental evaluation of preprocessing algorithms for constraint satisfaction problems. Artificial Intelligence, 68:211\u2013241, 1994.","journal-title":"Artificial Intelligence"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"M. J. Dent and R. E. Mercer. Minimal forward checking. In 6th IEEE International Conference on Tools with Artificial Intelligence, pages 432\u2013438, New Orleans, 1994. Available via anonymous ftp from ftp:\/\/csd.uwo.ca\/pub\/csdtechnical-reports\/374\/tai94.ps.z.","DOI":"10.1109\/TAI.1994.346460"},{"key":"16_CR6","unstructured":"Daniel Frost and Rina Dechter. In search of the best constraint satisfaction search. In Proceedings of the AAAI National Conference, pages 301\u2013306, 1994."},{"key":"16_CR7","unstructured":"J. Gaschnig. A general Backtracking algorithm that eliminates most redundant tests. In Procceedings of the International Joint Conference on Artifical Intelligence (IJCAI), page 457, 1977."},{"key":"16_CR8","unstructured":"J. Gaschnig. Experimental case studies of backtrack vs. Waltz-type vs. new algorithms for satisficing assignment problems. In Proceedings of the Canadian Artifical Intelligence Conference, pages 268\u2013277, 1978."},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. M. Haralick","year":"1980","unstructured":"R. M. Haralick and G. L. Elliott. Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence, 14:263\u2013313, 1980.","journal-title":"Artificial Intelligence"},{"key":"16_CR10","unstructured":"Grzegorz Kondrak and Peter van Beek. A theoretical evaluation of selected backtracking algorithms. In Proceedings of the International Joint Conference on Artifical Intelligence (IJCAI), 1995."},{"key":"16_CR11","volume-title":"Encyclopedia of Artificial Intelligence","author":"A. K. Mackworth","year":"1987","unstructured":"A. K. Mackworth. Constraint satisfaction. In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence. John Wiley and Sons, New York, 1987."},{"key":"16_CR12","unstructured":"D. Manchak and P. van Beek. A \u2018C\u2019 library of constraint satisfaction techniques, 1994. Available by anonymous ftp from: ftp.cs.ualberta.ca:pub\/ai\/csp."},{"key":"16_CR13","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B. A. Nadel","year":"1989","unstructured":"Bernard A. Nadel. Constraint satisfaction algorithms. Computational Intelligence, 5:188\u2013224, 1989.","journal-title":"Computational Intelligence"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"P. Prosser. Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence, 9(3), 1993.","DOI":"10.1111\/j.1467-8640.1993.tb00310.x"},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0004-3702(83)80007-1","volume":"21","author":"P. W. J. Purdom Jr.","year":"1983","unstructured":"P. W. Jr. Purdom. Jr. Search rearrangement backtracking and polynomial average time. Artificial Intelligence, 21:117\u2013133, 1983.","journal-title":"Artificial Intelligence"},{"key":"16_CR16","unstructured":"B. Selman, H. J. Levesque, and D. G. Mitchell. A new method for solving hard satisfiability problems. In Proceedings of the AAAI National Conference, pages 440\u2013446, 1992."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:59:25Z","timestamp":1742597965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}