{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T16:16:50Z","timestamp":1717345010217},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Intell. Syst."],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.1109\/mis.2007.6","type":"journal-article","created":{"date-parts":[[2007,2,9]],"date-time":"2007-02-09T20:03:08Z","timestamp":1171051388000},"page":"78-90","source":"Crossref","is-referenced-by-count":13,"title":["Configuration"],"prefix":"10.1109","volume":"22","author":[{"given":"Carsten","family":"Sinz","sequence":"first","affiliation":[{"name":"University of Tubingen"}]},{"given":"Albert","family":"Haag","sequence":"additional","affiliation":[{"name":"SAP AG"}]},{"given":"Nina","family":"Narodytska","sequence":"additional","affiliation":[{"name":"National Information and Communications Technology Australia and University of New South Wales"}]},{"given":"Toby","family":"Walsh","sequence":"additional","affiliation":[{"name":"National Information and Communications Technology Australia and University of New South Wales"}]},{"given":"Esther","family":"Gelle","sequence":"additional","affiliation":[{"name":"Asea Brown Boveri Switzerland"}]},{"given":"Mihaela","family":"Sabin","sequence":"additional","affiliation":[{"name":"Rivier College"}]},{"given":"Ulrich","family":"Junker","sequence":"additional","affiliation":[{"name":"ILOG S.A."}]},{"given":"Barry","family":"O'Sullivan","sequence":"additional","affiliation":[{"name":"University College Cork"}]},{"given":"Rick","family":"Rabiser","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz"}]},{"given":"Deepak","family":"Dhungana","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz"}]},{"given":"Paul","family":"Grunbacher","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz"}]},{"given":"Klaus","family":"Lehner","sequence":"additional","affiliation":[{"name":"Siemens VAI"}]},{"given":"Christian","family":"Federspiel","sequence":"additional","affiliation":[{"name":"Siemens VAI"}]},{"given":"Daniel","family":"Naus","sequence":"additional","affiliation":[{"name":"e-Spline"}]}],"member":"263","reference":[{"key":"ref7s","author":"sabin","year":"2003","journal-title":"Towards Improving Solving of Conditional Constraint Satisfaction Problems"},{"key":"ref10s","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022394531132"},{"key":"ref5t","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708436"},{"key":"ref5u","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2006.21"},{"key":"ref5s","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-378-7_7"},{"key":"ref9s","author":"gelle","year":"1998","journal-title":"On the Generation of Locally Consistent Solution Spaces"},{"key":"ref7t","first-page":"445","article-title":"Generating Corrective Explanations for Interactive Constraint Satisfaction","volume":"3709","author":"o'callaghan","year":"2005","journal-title":"Proc Principles and Practice of Constraint Programming (CP 05)"},{"key":"ref9u","article-title":"DecisionKing: A Flexible and Extensible Tool for Integrated Variability Modeling","author":"dhungana","year":"2007","journal-title":"Procs 1st International Workshop on Variability Modelling of Software-intensive Systems"},{"key":"ref7u","article-title":"Modeling Configurable Products and Software Product Families","author":"m\ufffdnist\ufffd","year":"2001","journal-title":"Proc 18th Int'l Joint Conf Artificial Intelligence (IJCAI01) Workshop on Configuration"},{"key":"ref3u","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.11.012"},{"key":"ref3t","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"ref1u","author":"clements","year":"2005","journal-title":"Software Product Lines Practices and Patterns"},{"key":"ref3s","first-page":"7","article-title":"Solving Methods for Conditional Constraint Satisfaction","author":"gelle","year":"2003","journal-title":"18th Int'l Joint Conf Artificial Intelligence (IJCAI 03)"},{"key":"ref1t","author":"desisto","year":"2004","journal-title":"Constraints Still Key for Product Configurator Deployments"},{"key":"ref1s","first-page":"25","article-title":"Dynamic Constraint Satisfaction Problems","author":"mittal","year":"1990","journal-title":"Proc Nat l Conf Artificial Intelligence"},{"key":"ref11s","first-page":"14","article-title":"Solver Framework for Conditional Constraint Satisfaction Problems","author":"gelle","year":"2006","journal-title":"Proc ECAI2006 Workshop on Configuration affiliated with the 17th European Conf Artificial Intelligence"},{"key":"ref8u","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2005.25"},{"key":"ref4","first-page":"2","article-title":"Constraint and Variable Ordering Heuristics for Compiling Configuration Problems","author":"narodytska","year":"2006","journal-title":"Proc 17th European Conf Artificial Intelligence Workshop on Configuration"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref4s","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00128-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/12.537122"},{"key":"ref4t","first-page":"167","article-title":"QuickXplain: Preferred Explanations and Relaxations for Over-Constrained Problems","author":"junker","year":"2004","journal-title":"Proc 19th Nat'l Conf Artificial Intelligence (AAAI '04)"},{"key":"ref4u","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2007.21"},{"key":"ref8","author":"dongen","year":"2000","journal-title":"A cluster algorithm for graphs"},{"key":"ref6s","first-page":"241","article-title":"Assumption-Based Pruning in Conditional CSP","volume":"3709","author":"geller","year":"2005","journal-title":"Proc 11th Int'l Conf Principles and Practice of Constraint Programming"},{"key":"ref8s","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45193-8_44"},{"key":"ref8t","first-page":"813","article-title":"Elimination of Spurious Explanations","author":"friedrich","year":"2004","journal-title":"Proc 16th European Conf Artificial Intelligence"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.479994"},{"key":"ref6t","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90004-H"},{"key":"ref6u","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708434"},{"key":"ref2","first-page":"131","article-title":"Fast Backtrack-Free Product Configuration using a Precompiled Solution Space Representation","author":"hadzic","year":"2004","journal-title":"?roc Int'l Conf Economic Technical and Organizational Aspects of Product Configuration Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060403171065"},{"key":"ref2t","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An Assumption-?ased Truth Maintenance System","volume":"28","author":"de kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"ref2s","article-title":"Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems","author":"sabin","year":"1998","journal-title":"Proc Constraint Programming (CP 98)"},{"key":"ref2u","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1"}],"container-title":["IEEE Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9670\/4078944\/04078959.pdf?arnumber=4078959","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:13:36Z","timestamp":1642004016000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4078959\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":36,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/mis.2007.6","relation":{},"ISSN":["1541-1672","1941-1294"],"issn-type":[{"value":"1541-1672","type":"print"},{"value":"1941-1294","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}