{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T16:24:35Z","timestamp":1778343875663,"version":"3.51.4"},"reference-count":65,"publisher":"Elsevier","isbn-type":[{"value":"9780444527264","type":"print"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1016\/s1574-6526(06)80028-3","type":"book-chapter","created":{"date-parts":[[2008,2,26]],"date-time":"2008-02-26T16:51:39Z","timestamp":1204044699000},"page":"837-873","source":"Crossref","is-referenced-by-count":26,"title":["Configuration"],"prefix":"10.1016","member":"78","reference":[{"key":"10.1016\/S1574-6526(06)80028-3_bib1","series-title":"IJCAI-01 Workshop on Configuration","first-page":"1","article-title":"Configurator and CAD: gathering the best of two worlds","author":"Aldanondo","year":"2001"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(06)80028-3_bib2","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0004-3702(01)00162-X","article-title":"Consistency restoration and explanations in dynamic CSPs application to configuration","volume":"135","author":"Amilhastre","year":"2002","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(06)80028-3_bib3","first-page":"93","article-title":"A framework for the development of personalized, distributed web-based configuration systems","volume":"24","author":"Ardissono","year":"2003","journal-title":"AI Magazine"},{"issue":"3","key":"10.1016\/S1574-6526(06)80028-3_bib4","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1145\/62065.62067","article-title":"Expert systems for configuration at Digital: XCON and beyond","volume":"32","author":"Barker","year":"1989","journal-title":"Communications of the ACM"},{"key":"10.1016\/S1574-6526(06)80028-3_bib5","series-title":"Eighteenth International Joint Conference on Artificial Intelligence","first-page":"191","article-title":"Propagate the right thing: how preferences can speed-up constraint solving","author":"Bessi\u00e8re","year":"2003"},{"key":"10.1016\/S1574-6526(06)80028-3_bib6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1111\/j.0824-7935.2004.00234.x","article-title":"Preference-based constrained optimization with CP-nets","volume":"20","author":"Boutilier","year":"2004","journal-title":"Computational Intelligence"},{"key":"10.1016\/S1574-6526(06)80028-3_bib7","series-title":"Ninth National Conference on Artificial Intelligence (AAAI)","first-page":"215","article-title":"Conditional existence of variables in generalised constraint networks","author":"Bowen","year":"1991"},{"key":"10.1016\/S1574-6526(06)80028-3_bib8","series-title":"Eleventh International Joint Conference on Artificial Intelligence","first-page":"1043","article-title":"Preferred subtheories: An extended logical framework for default reasoning","author":"Brewka","year":"1989"},{"key":"10.1016\/S1574-6526(06)80028-3_bib9","series-title":"Design problem solving: knowledge structures and control strategies","author":"Brown","year":"1989"},{"key":"10.1016\/S1574-6526(06)80028-3_bib10","series-title":"Second International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IAE\/AIE)","first-page":"866","article-title":"Plakon \u2014 an approach to domain-independent construction","author":"Cunis","year":"1989"},{"key":"10.1016\/S1574-6526(06)80028-3_bib11","series-title":"Sixteenth European Conference on Artificial Intelligence","first-page":"328","article-title":"New advances in compiling CNF into decomposable negation normal form","author":"Darwiche","year":"2004"},{"key":"10.1016\/S1574-6526(06)80028-3_bib12","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based truth maintenance system","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/S1574-6526(06)80028-3_bib13","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","article-title":"Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition","volume":"41","author":"Dechter","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80028-3_bib14","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","article-title":"Tree clustering for constraint networks","volume":"38","author":"Dechter","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80028-3_bib15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib16","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1142\/S0218194000000249","article-title":"UML as domain specific language for the construction of knowledge-based configurations systems","volume":"10","author":"Felfernig","year":"2000","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/5254.708434","article-title":"Configuring large systems using generative constraint satisfaction","volume":"13","author":"Fleischanderl","year":"1998","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/S1574-6526(06)80028-3_bib18","series-title":"Knowledge-Based Expert Systems in Engineering: Planning and Design","first-page":"143","article-title":"COSSACK: A constraint-based expert system for configuration","author":"Frayman","year":"1987"},{"issue":"11","key":"10.1016\/S1574-6526(06)80028-3_bib19","doi-asserted-by":"crossref","first-page":"958","DOI":"10.1145\/359642.359654","article-title":"Synthesizing constraint expressions","volume":"21","author":"Freuder","year":"1978","journal-title":"Communications of the ACM"},{"issue":"1","key":"10.1016\/S1574-6526(06)80028-3_bib20","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","article-title":"A sufficient condition for backtrack-free search","volume":"29","author":"Freuder","year":"1982","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1574-6526(06)80028-3_bib21","series-title":"Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI)","first-page":"227","article-title":"Eliminating interchangeable values in constraint satisfaction problems","author":"Freuder","year":"1991"},{"key":"10.1016\/S1574-6526(06)80028-3_bib22","series-title":"Sixteenth European Conference on Artificial Intelligence","first-page":"813","article-title":"Elimination of spurious explanations","author":"Friedrich","year":"2004"},{"key":"10.1016\/S1574-6526(06)80028-3_bib23","series-title":"AAAI-99 Workshop on Configuration","first-page":"35","article-title":"Consistency-based configuration","author":"Friedrich","year":"1999"},{"key":"10.1016\/S1574-6526(06)80028-3_bib24","series-title":"Eleventh International Conference on Principles and Practice of Constraint Programming","first-page":"241","article-title":"Assumption-based pruning in conditional CSP","author":"Geller","year":"2005"},{"key":"10.1016\/S1574-6526(06)80028-3_bib25","series-title":"Logical Foundations of Artificial Intelligence","author":"Genesereth","year":"1987"},{"issue":"2","key":"10.1016\/S1574-6526(06)80028-3_bib26","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0004-3702(00)00078-3","article-title":"A comparison of structural CSP decomposition methods","volume":"124","author":"Gottlob","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80028-3_bib27","series-title":"5th Biannual German Conference on Knowledge-Based Systems, volume 1570 of Lecture Notes in Computer Science","first-page":"47","article-title":"Knowledge-based configuration: Survey and future directions","author":"G\u00fcnter","year":"1999"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib28","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/5254.708436","article-title":"Sales configuration in business processes","volume":"13","author":"Haag","year":"1998","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/S1574-6526(06)80028-3_bib29","series-title":"International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems","first-page":"131","article-title":"Fast backtrack-free product configuration using a precompiled solution space representation","author":"Hadzic","year":"2004"},{"key":"10.1016\/S1574-6526(06)80028-3_bib30","series-title":"The Twentieth National Conference on Artificial Intelligence (AAAI)","first-page":"372","article-title":"Finding diverse and similar solutions in constraint programming","author":"Hebrard","year":"2005"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib31","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/5254.708433","article-title":"Using resource balancing to configure modular systems","volume":"13","author":"Juengst","year":"1998","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/S1574-6526(06)80028-3_bib32","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1023\/B:ANOR.0000032571.68051.fe","article-title":"Preference-based search and multi-criteria optimization","volume":"130","author":"Junker","year":"2004","journal-title":"Annals of Operations Research"},{"key":"10.1016\/S1574-6526(06)80028-3_bib33","series-title":"Nineteenth National Conference on Artificial Intelligence (AAAI)","first-page":"167","article-title":"QUICKXPLAIN: preferred explanations and relaxations for overconstrained problems","author":"Junker","year":"2004"},{"issue":"1","key":"10.1016\/S1574-6526(06)80028-3_bib34","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1017\/S089006040317103X","article-title":"Preference programming: Advanced problem solving for configuration","volume":"17","author":"Junker","year":"2003","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"10.1016\/S1574-6526(06)80028-3_bib35","series-title":"Sixth International Conference on Principles and Practice of Constraint Programming","first-page":"249","article-title":"Maintaining arc-consistency within dynamic backtracking","author":"Jussien","year":"2000"},{"key":"10.1016\/S1574-6526(06)80028-3_bib36","series-title":"Twentieth National Conference on Artificial Intelligence (AAAI)","first-page":"411","article-title":"Quick shaving","author":"Lhomme","year":"2005"},{"issue":"1","key":"10.1016\/S1574-6526(06)80028-3_bib37","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"8","author":"Mackworth","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80028-3_bib38","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1111\/j.1467-8640.1985.tb00064.x","article-title":"Hierarchical arc consistency: exploiting structured domains in constraint satisfaction problems","volume":"1","author":"Mackworth","year":"1985","journal-title":"Computational Intelligence"},{"issue":"1","key":"10.1016\/S1574-6526(06)80028-3_bib39","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1017\/S0890060403171053","article-title":"Decomposition strategies for configuration problems","volume":"17","author":"Magro","year":"2003","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib40","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1017\/S0890060498124101","article-title":"A classification and constraint based framework for configuration","volume":"12","author":"Mailharro","year":"1998","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"10.1016\/S1574-6526(06)80028-3_bib41","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(82)90021-2","article-title":"R1: A rule-based configurer of computer systems","volume":"19","author":"McDermott","year":"1982","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib42","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1017\/S089006049812406X","article-title":"Conceptual modelling for configuration: A description logic-based approach","volume":"12","author":"McGuinness","year":"1998","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"10.1016\/S1574-6526(06)80028-3_bib43","series-title":"Eighth National Conference on Artificial Intelligence (AAAI)","first-page":"25","article-title":"Dynamic constraint satisfaction problems","author":"Mittal","year":"1990"},{"key":"10.1016\/S1574-6526(06)80028-3_bib44","series-title":"Eleventh International Joint Conference on Artificial Intelligence","first-page":"1395","article-title":"Towards a generic model of configuration tasks","author":"Mittal","year":"1989"},{"key":"10.1016\/S1574-6526(06)80028-3_bib45","series-title":"Eleventh International Conference on Principles and Practice of Constraint Programming","first-page":"445","article-title":"Generating corrective explanations for interactive constraint satisfaction","author":"O'Callaghan","year":"2005"},{"key":"10.1016\/S1574-6526(06)80028-3_bib46","series-title":"IJCAI-03 Workshop on Configuration","first-page":"32","article-title":"Extending cluster tree compilation with non-boolean variables in product configuration: A tractable approach to preference-based configuration","author":"Pargamin","year":"2003"},{"key":"10.1016\/S1574-6526(06)80028-3_bib47","series-title":"Tenth National Conference on Artificial Intelligence (AAAI)","first-page":"393","article-title":"Constrained decision revision","author":"Petrie","year":"1992"},{"key":"10.1016\/S1574-6526(06)80028-3_bib48","series-title":"Proceedings of the 1st Singapore International Conference on Intelligent Systems (SPICIS'92)","first-page":"137","article-title":"PECOS: a high level constraint programming language","author":"Puget","year":"1992"},{"key":"10.1016\/S1574-6526(06)80028-3_bib49","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80028-3_bib50","series-title":"Proceedings of the Artificial Intelligence and Manufacturing Research Planning Workshop","first-page":"153","article-title":"Configuration as composite constraint satisfaction","author":"Sabin","year":"1996"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib51","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/5254.708432","article-title":"Product configuration frameworks \u2014 a survey","volume":"13","author":"Sabin","year":"1998","journal-title":"IEEE Intelligent Systems"},{"key":"10.1016\/S1574-6526(06)80028-3_bib52","series-title":"Ninth International Conference on Principles and Practice of Constraint Programming","first-page":"649","article-title":"Greater efficiency for conditional constraint satisfaction","author":"Sabin","year":"2003"},{"key":"10.1016\/S1574-6526(06)80028-3_bib53","series-title":"Thirteenth National Conference on Artificial Intelligence (AAAI)","first-page":"216","article-title":"Lazy arc consistency","author":"Schiex","year":"1996"},{"issue":"1\u20132","key":"10.1016\/S1574-6526(06)80028-3_bib54","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","article-title":"Extending and implementing the stable model semantics","volume":"138","author":"Simons","year":"2002","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S1574-6526(06)80028-3_bib55","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1017\/S0890060403171065","article-title":"Formal methods for the validation of automotive product configuration data","volume":"17","author":"Sinz","year":"2003","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"10.1016\/S1574-6526(06)80028-3_bib56","series-title":"Fifth International Conference on Principles and Practice of Constraint Programming","first-page":"419","article-title":"A fixpoint definition of dynamic constraint satisfaction","author":"Soininen","year":"1999"},{"key":"10.1016\/S1574-6526(06)80028-3_bib57","series-title":"Thirteenth National Conference on Artificial Intelligence (AAAI)","first-page":"318","article-title":"Inference-based constraint satisfaction supports explanation","author":"Sqalli","year":"1996"},{"issue":"2","key":"10.1016\/S1574-6526(06)80028-3_bib58","first-page":"111","article-title":"An overview of knowledge-based configuration","volume":"10","author":"Stumptner","year":"1997","journal-title":"AI Communications"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib59","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1017\/S0890060498124046","article-title":"Generative constraint-based configuration of large technical systems","volume":"12","author":"Stumptner","year":"1998","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"10.1016\/S1574-6526(06)80028-3_bib60","series-title":"Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93","first-page":"302","article-title":"A generative constraint formalism for configuration problems","author":"Stumptner","year":"1993"},{"issue":"4","key":"10.1016\/S1574-6526(06)80028-3_bib61","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1006\/ijhc.1996.0024","article-title":"The configuration design ontologies and the VT elevator domain theory","volume":"44","author":"Gruber","year":"1996","journal-title":"International Journal of Human-Computer Studies"},{"key":"10.1016\/S1574-6526(06)80028-3_bib62","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1023\/A:1021136801775","article-title":"Linear relaxations and reduced-cost based propagation of continuous variable subscripts","volume":"115","author":"Thorsteinsson","year":"2002","journal-title":"Annals of Operations Research"},{"issue":"2","key":"10.1016\/S1574-6526(06)80028-3_bib63","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/S0004-3702(99)00077-6","article-title":"Compiling constraint satisfaction problems","volume":"115","author":"Weigel","year":"1999","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1574-6526(06)80028-3_bib64","series-title":"Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI)","first-page":"349","article-title":"Interaction-based invention: Designing novel devices from first principles","author":"Williams","year":"1990"},{"key":"10.1016\/S1574-6526(06)80028-3_bib65","series-title":"ECAI-02 Workshop on Configuration","first-page":"17","article-title":"Configuring software products with traditional methods \u2014 case LINUX family","author":"Ylinen","year":"2002"}],"container-title":["Foundations of Artificial Intelligence","Handbook of Constraint Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800283?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1574652606800283?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T02:55:00Z","timestamp":1761620100000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1574652606800283"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9780444527264"],"references-count":65,"URL":"https:\/\/doi.org\/10.1016\/s1574-6526(06)80028-3","relation":{},"ISSN":["1574-6526"],"issn-type":[{"value":"1574-6526","type":"print"}],"subject":[],"published":{"date-parts":[[2006]]}}}