{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:38:53Z","timestamp":1774946333360,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540586012","type":"print"},{"value":"9783540490326","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58601-6_86","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:37:23Z","timestamp":1330256243000},"page":"10-20","source":"Crossref","is-referenced-by-count":124,"title":["Contradicting conventional wisdom in constraint satisfaction"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Sabin","sequence":"first","affiliation":[]},{"given":"Eugene C.","family":"Freuder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"2_CR1","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang E.: Foundations of Constraint Satisfaction, Academic Press, London (1993)."},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. Haralick","year":"1980","unstructured":"Haralick R., Elliott G.: Increasing tree search efficiency for constraint satisfaction problems. Artificial Intelligence 14 (1980) 263\u2013313.","journal-title":"Artificial Intelligence"},{"key":"2_CR3","first-page":"271","volume":"1","author":"R. Dechter","year":"1989","unstructured":"Dechter R., Meiri I.: Experimental evaluation of preprocessing techniques in constraint satisfaction problems. Proceedings of the Eleventh International Joint Conference on Artificial Intelligence 1 (1989) 271\u2013277.","journal-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"},{"key":"2_CR4","unstructured":"Prosser P.: Domain filtering can degrade intelligent backtracking search. Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (1993) 262\u2013267."},{"key":"2_CR5","unstructured":"Gaschnig J.: A constraint satisfaction method for inference making. Proceedings of the Twelfth Annual Allerton Conference on Circuit and System Theory (1974) 866\u2013874."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1145\/321296.321300","volume":"12","author":"S. Golumb","year":"1965","unstructured":"Golumb S., Baumert L.: Backtrack programming. Journal of the ACM 12 (1965) 516\u2013524.","journal-title":"Journal of the ACM"},{"key":"2_CR7","unstructured":"Mackworth A.: On reading sketch maps. Proceedings of the Fifth International Joint Conference on Artificial Intelligence (1977) 598\u2013606."},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0020-0255(79)90023-9","volume":"19","author":"J. McGregor","year":"1979","unstructured":"McGregor J.: Relational consistency algorithms and their applications in finding subgraph and graph isomorphism. Information Science 19 (1979) 229\u2013250.","journal-title":"Information Science"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1111\/j.1467-8640.1989.tb00328.x","volume":"5","author":"B. Nadel","year":"1989","unstructured":"Nadel B.: Constraint satisfaction algorithms. Computational Intelligence 5 (1989) 188\u2013224.","journal-title":"Computational Intelligence"},{"issue":"1","key":"2_CR10","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"Kumar V.: Algorithms for constraint-satisfaction problems: a survey. AI Magazine 13, 1 (1992) 32\u201344.","journal-title":"AI Magazine"},{"key":"2_CR11","unstructured":"Gevecker K.: Relating the utility of relaxation in costraint satisfaction algorithms to the structure of the problem. Master's thesis. Dept. of Comp. Sci., Univ. of New Hampshire (1991)."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Freuder E., Wallace R.: Selective relaxation for constraint satisfaction problems. Proceedings of the Third International IEEE Computer Society Conference on Tools for Artificial Intelligence (1991) 332\u2013339.","DOI":"10.1109\/TAI.1991.167112"},{"key":"2_CR13","unstructured":"Cheeseman P., Kanefsky B., Taylor W.: Where the really hard problems are. Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (1991) 331\u2013337."},{"key":"2_CR14","unstructured":"Williams C., Hogg T.: Using deep structure to locate hard problems. Proceedings of the Tenth National Conference on Artificial Intelligence (1992) 472\u2013477."},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","volume":"21","author":"E. Freuder","year":"1978","unstructured":"Freuder E.: Synthesizing constraint expressions. Communications of the ACM 21 (1978) 958\u2013966.","journal-title":"Communications of the ACM"},{"key":"2_CR16","first-page":"65","volume":"25","author":"R. Mohr","year":"1986","unstructured":"Mohr R., Henderson T.: Arc and path consistency revisited. Artificial Intelligence 25 (1986) 65\u201374.","journal-title":"Artificial Intelligence"},{"key":"2_CR17","first-page":"19","volume-title":"The Psychology of Computer Vision","author":"D. Waltz","year":"1975","unstructured":"Waltz D.: Understanding line drawings of scenes with shadows. The Psychology of Computer Vision, P. Winston editor, McGraw-Hill, Cambridge, MA. (1975) 19\u201391."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58601-6_86.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:18:57Z","timestamp":1619558337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58601-6_86"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540586012","9783540490326"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58601-6_86","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}