{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:59Z","timestamp":1725487079859},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429609"},{"type":"electronic","value":"9783540456568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45656-2_5","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T15:46:10Z","timestamp":1183391170000},"page":"50-61","source":"Crossref","is-referenced-by-count":7,"title":["How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search"],"prefix":"10.1007","author":[{"given":"Amy M.","family":"Beckwith","sequence":"first","affiliation":[]},{"given":"Berthe Y.","family":"Choueiry","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Zou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,14]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Fahiem Bacchus and P. van Run. Dynamic Variable Ordering in CSPs. In Principles and Practice of Constraint Programming, CP\u201995. Lecture Notes in Artificial Intelligence 976, pages 258\u2013275. Springer Verlag, 1995.","DOI":"10.1007\/3-540-60299-2_16"},{"key":"5_CR2","unstructured":"Amy M. Beckwith and Berthe Y. Choueiry. Effects of Dynamic Ordering and Bundling on the Solution Space of Finite Constraint Satisfaction Problems. Technical Report CSL-01-03 http:\/\/consystlab.unl.edu\/CSL-01-03.ps , University of Nebraska-Lincoln, 2001."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Cynthia A. Brown, Larry Finkelstein, and Paul W. Purdom, Jr. Backtrack Searching in the Presence of Symmetry. In T. Mora, editor, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, pages 99\u2013110. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-51083-4_51"},{"key":"5_CR4","unstructured":"Berthe Y. Choueiry and Amy M. Beckwith. On Finding the First Solution Bundle in Finite Constraint Satisfaction Problems. Technical Report CSL-01-03. http:\/\/consystlab.unl.edu\/CSL-01-04.ps , University of Nebraska-Lincoln, 2001."},{"key":"5_CR5","unstructured":"Berthe Y. Choueiry and Amy M. Beckwith. Techniques for Bundling the Solution Space of Finite Constraint Satisfaction Problems. Technical Report CSL-01-02. http:\/\/consystlab.unl.edu\/CSL-01-02.ps , University of Nebraska-Lincoln, 2001."},{"key":"5_CR6","unstructured":"Berthe Y. Choueiry and Guevara Noubir. On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. In Proc. of AAAI-98, pages 326\u2013333, Madison, Wisconsin, 1998. Revised version KSL-98-24, http:\/\/ksl-web.stanford.edu\/KSL_Abstracts\/KSL-98-24.html ."},{"key":"5_CR7","unstructured":"Eugene C. Freuder. Eliminating Interchangeable Values in Constraint Satisfaction Problems. In Proc. of AAAI-91, pages 227\u2013233, Anaheim, CA, 1991."},{"key":"5_CR8","unstructured":"Eugene C. Freuder and Daniel Sabin. Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction. In Proc. of AAAI-97, pages 191\u2013196, Providence, Rhode Island, 1997."},{"key":"5_CR9","unstructured":"Pieter Andreas Geelen. Dual Viewpoint Heuristics for Binary Constraint Satisfaction Problems. In Proc. of the 10 th ECAI, pages 31\u201335, Vienna, Austria, 1992."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(80)90051-X","volume":"14","author":"R. M. Haralick","year":"1980","unstructured":"Robert M. Haralick and Gordon L. Elliott. Increasing Tree Search Efficiency for Constraint Satisfaction Problems. Artificial Intelligence, 14:263\u2013313, 1980.","journal-title":"Artificial Intelligence"},{"key":"5_CR11","unstructured":"Alois Haselb\u00f6ck. Exploiting Interchangeabilities in Constraint Satisfaction Problems. In Proc. of the 13 th IJCAI, pages 282\u2013287, Chamb\u00e9ry, France, 1993."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Alan K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8:99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Daniel Sabin and Eugene C. Freuder. Contradicting Conventional Wisdom in Constraint Satisfaction. In Proc. of the 11 th ECAI, pages 125\u2013129, Amsterdam, The Netherlands, 1994.","DOI":"10.1007\/3-540-58601-6_86"},{"key":"5_CR14","unstructured":"Hui Zou, Amy M. Beckwith, and Berthe Y. Choueiry. A Generator of Random Instances of Binary Finite Constraint Satisfaction Problems with Controllable Levels of Interchangeability. Technical Report CSL-01-01. http:\/\/consystlab.unl.edu\/CSL-01-01.doc , University of Nebraska-Lincoln, 2001."}],"container-title":["Lecture Notes in Computer Science","AI 2001: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45656-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T01:30:01Z","timestamp":1556587801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45656-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429609","9783540456568"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45656-2_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}