{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:05:54Z","timestamp":1761620754338},"reference-count":27,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":4680,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1016\/s0004-3702(00)00051-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:57:34Z","timestamp":1027616254000},"page":"133-156","source":"Crossref","is-referenced-by-count":10,"title":["Decomposable constraints\u2606\u2606Supported by EPSRC award GR\/L\/24014. The authors wish to thank other members of the APES research group."],"prefix":"10.1016","volume":"123","author":[{"given":"Ian","family":"Gent","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Stergiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toby","family":"Walsh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(00)00051-5_ID008","series-title":"Proc. AAAI-98, Madison, WI","article-title":"On the conversion between non-binary and binary constraint satisfaction problems","author":"Bacchus","year":"1998"},{"key":"10.1016\/S0004-3702(00)00051-5_ID009","series-title":"Proc. 5th International Conference on Principles and Practice of Constraint Programming (CP-99), Alexandria, VA","first-page":"88","article-title":"On forward checking for non-binary constraint satisfaction","author":"Bessi\u00e8re","year":"1999"},{"key":"10.1016\/S0004-3702(00)00051-5_ID010","series-title":"Proc. CP-96, Cambridge, MA","first-page":"61","article-title":"Mac and combined heuristics: Two reasons to forsake fc (and cbj?)","author":"Bessi\u00e8re","year":"1996"},{"key":"10.1016\/S0004-3702(00)00051-5_ID011","series-title":"Proc. IJCAI-97, Nagoya, Japan","first-page":"398","article-title":"Arc consistency for general constraint networks: Preliminary results","author":"Bessi\u00e8re","year":"1997"},{"key":"10.1016\/S0004-3702(00)00051-5_ID012","series-title":"Proc. IJCAI-97, Nagoya, Japan","first-page":"412","article-title":"Some practicable filtering techniques for the constraint satisfaction problem","author":"Debruyne","year":"1997"},{"key":"10.1016\/S0004-3702(00)00051-5_ID013","series-title":"Proc. AAAI-90, Boston, MA","first-page":"555","article-title":"On the expressiveness of networks with hidden variables","author":"Dechter","year":"1990"},{"key":"10.1016\/S0004-3702(00)00051-5_ID014","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","article-title":"Tree clustering for constraint networks","volume":"Vol. 38","author":"Dechter","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00051-5_ID015","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","article-title":"A sufficient condition for backtrack-free search","volume":"Vol. 29","author":"Freuder","year":"1982","journal-title":"J. ACM"},{"issue":"4","key":"10.1016\/S0004-3702(00)00051-5_ID016","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1145\/4221.4225","article-title":"A sufficient condition for backtrack-bounded search","volume":"Vol. 32","author":"Freuder","year":"1985","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(00)00051-5_ID017","series-title":"Proc. AAAI-96, Portland, OR","first-page":"202","article-title":"Neighborhood inverse consistency preprocessing","author":"Freuder","year":"1996"},{"key":"10.1016\/S0004-3702(00)00051-5_ID018","series-title":"Proc. IJCAI-93, Chamb\u00e9ry, France","first-page":"52","article-title":"Automatic generation of some results in finite algebra","author":"Fujita","year":"1993"},{"key":"10.1016\/S0004-3702(00)00051-5_ID019","series-title":"Performance measurement and analysis of certain search algorithms","author":"Gaschnig","year":"1979"},{"key":"10.1016\/S0004-3702(00)00051-5_ID020","series-title":"Proc. AAAI-97, Providence, RI","first-page":"221","article-title":"Problem structure in the presence of perturbations","author":"Gomes","year":"1997"},{"key":"10.1016\/S0004-3702(00)00051-5_ID021","series-title":"Proc. CP-97, Vienna, Austria","first-page":"121","article-title":"Heavy-tailed probability distributions in combinatorial search","author":"Gomes","year":"1997"},{"key":"10.1016\/S0004-3702(00)00051-5_ID022","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0004-3702(96)00027-6","article-title":"A theoretical evaluation of selected backtracking algorithms","volume":"Vol. 89","author":"Kondrak","year":"1997","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00051-5_ID023","series-title":"A Davis\u2013Putnam program and its application to finite first-order model search: Quasigroup existence problems","author":"McCune","year":"1994"},{"key":"10.1016\/S0004-3702(00)00051-5_ID024","series-title":"Proc. ECAI-98, Brighton, UK","first-page":"239","article-title":"Interleaved and discrepancy based search","author":"Meseguer","year":"1998"},{"key":"10.1016\/S0004-3702(00)00051-5_ID025","series-title":"Proc. ECAI-88, Munich, Germany","first-page":"651","article-title":"Good old discrete relaxation","author":"Mohr","year":"1988"},{"key":"10.1016\/S0004-3702(00)00051-5_ID026","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","article-title":"Networks of constraints: Fundamental properties and applications to picture processing","volume":"Vol. 7","author":"Montanari","year":"1974","journal-title":"Inform. Sci."},{"key":"10.1016\/S0004-3702(00)00051-5_ID027","series-title":"A C++ implementation of CLP","author":"Puget","year":"1994"},{"key":"10.1016\/S0004-3702(00)00051-5_ID028","series-title":"Proc. AAAI-94, Seattle, WA","first-page":"362","article-title":"A filtering algorithm for constraints of difference in csps","author":"R\u00e9gin","year":"1994"},{"key":"10.1016\/S0004-3702(00)00051-5_ID029","series-title":"Proc. AAAI-96, Portland, OR","first-page":"209","article-title":"Generalized arc consistency for global cardinality constraint","author":"R\u00e9gin","year":"1996"},{"key":"10.1016\/S0004-3702(00)00051-5_ID030","series-title":"FINDER, Finite domain enumerator: Notes and guide","author":"Slaney","year":"1992"},{"key":"10.1016\/S0004-3702(00)00051-5_ID031","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"414","article-title":"The difference all-difference makes","author":"Stergiou","year":"1999"},{"key":"10.1016\/S0004-3702(00)00051-5_ID032","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","article-title":"A generic arc consistency algorithm and its specializations","volume":"Vol. 57","author":"Van Hentenryck","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(00)00051-5_ID033","series-title":"Implementing the Davis\u2013Putnam algorithm by tries","author":"Zhang","year":"1994"},{"key":"10.1016\/S0004-3702(00)00051-5_ID034","series-title":"Proc. IJCAI-95, Montreal, Quebec, Vol. 1","first-page":"298","article-title":"SEM: A system for enumerating models","author":"Zhang","year":"1995"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370200000515?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370200000515?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T12:28:20Z","timestamp":1556195300000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370200000515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":27,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["S0004370200000515"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(00)00051-5","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}