{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:24:02Z","timestamp":1767651842327},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201199"},{"type":"electronic","value":"9783540398530"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39853-0_4","type":"book-chapter","created":{"date-parts":[[2011,1,13]],"date-time":"2011-01-13T06:13:01Z","timestamp":1294899181000},"page":"39-52","source":"Crossref","is-referenced-by-count":5,"title":["Automatically Decomposing Configuration Problems"],"prefix":"10.1007","author":[{"given":"Luca","family":"Anselma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Magro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Torasso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Fleischanderl, G., Friedrich, G.E., Haselb\u00f6ck, A., Schreiner, H., Stumptner, M.: Configuring large systems using generative constraint satisfaction. IEEE Intelligent Systems, 59\u201368 (July\/August 1998)","DOI":"10.1109\/5254.708434"},{"key":"4_CR2","unstructured":"Fleischanderl, G., Haselb\u00f6ck, A.: Thoughts on partitioning large-scale configuration problems. AAAI 1996 Fall Symposium Series, pp. 1\u201310 (1996)"},{"key":"4_CR3","unstructured":"Friedrich, G., Stumptner, M.: Consistency-based configuration. In: AAAI 1999, Workshop on Configuration (1999)"},{"key":"4_CR4","unstructured":"Geneste, L., Ruet, M.: Fuzzy case based configuration. In: Proc. ECAI, Configuration WS, pp. 71\u201376 (2002)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence\u00a08, 99\u2013118 (1977)","journal-title":"Artificial Intelligence"},{"key":"4_CR6","unstructured":"Magro, D., Torasso, P.: Interactive configuration capability in a sale support system: Laziness and focusing mechanisms. In: Proc. IJCAI 2001 Configuration WS, pp. 57\u201363 (2001)"},{"key":"4_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/3-540-45411-X_19","volume-title":"AI*IA 2001: Advances in Artificial Intelligence","author":"D. Magro","year":"2001","unstructured":"Magro, D., Torasso, P.: Supporting product configuration in a virtual store. In: Esposito, F. (ed.) AI*IA 2001. LNCS (LNAI), vol.\u00a02175, pp. 176\u2013188. Springer, Heidelberg (2001)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Magro, D., Torasso, P.: Decomposition strategies for configuration problems. AIEDAM\u00a017(1) (2003) (special Issue on Configuration)","DOI":"10.1017\/S0890060403171053"},{"key":"4_CR9","unstructured":"Magro, D., Torasso, P., Anselma, L.: Problem decomposition in configuration. In: Proc. ECAI 2002 Configuration WS, pp. 50\u201355 (2002)"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(82)90021-2","volume":"19","author":"J. McDermott","year":"1982","unstructured":"McDermott, J.: R1: A rule-based configurer of computer systems. Artificial Intelligence\u00a019, 39\u201388 (1982)","journal-title":"Artificial Intelligence"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"McGuinness, D.L., Wright, J.R.: An industrial-strength description logic-based configurator platform. IEEE Intelligent Systems, 69\u201377 (July\/August 1998)","DOI":"10.1109\/5254.708435"},{"key":"4_CR12","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proc. of the AAAI 1990, pp. 25\u201332 (1990)"},{"key":"4_CR13","unstructured":"Sabin, D., Freuder, E.C.: Configuration as composite constraint satisfaction. In: Proc. Artificial Intelligence and Manufacturing. Research Planning Workshop, pp. 153\u2013161 (1996)"},{"key":"4_CR14","unstructured":"Sinz, C.: Knowledge compilation for product configuration. In: Proc. ECAI 2002 Configuration WS, pp. 23\u201326 (2002)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/978-3-540-48085-3_30","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"T. Soininen","year":"1999","unstructured":"Soininen, T., Gelle, E., Niemel\u00e4, I.: A fixpoint definition of dynamic constraint satisfaction. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 419\u2013434. Springer, Heidelberg (1999)"},{"key":"4_CR16","unstructured":"Soininen, T., Niemel\u00e4, I., Tiihonen, J., Sulonen, R.: Representing configuration knowledge with weight constraint rules. In: Proc. of the AAAI 2001 Symposium on Answer Set Programming ( Spring 2001)"},{"key":"4_CR17","unstructured":"Tiihonen, J., Soininen, T., Niemel\u00e4, I., Sulonen, R.: Empirical testing of a weight constraint rule based configurator. In: Proc. ECAI 2002 Configuration WS, pp. 17\u201322 (2002)"},{"key":"4_CR18","unstructured":"Veron, M., Aldanondo, M.: Yet another approach to ccsp for configuration problem. In: Proc. ECAI, Configuration WS, pp. 59\u201362 (2000)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2003: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39853-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:33:33Z","timestamp":1558294413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39853-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201199","9783540398530"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39853-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}