{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:01:32Z","timestamp":1725710492385},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357572"},{"type":"electronic","value":"9783642357589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35758-9_16","type":"book-chapter","created":{"date-parts":[[2012,12,21]],"date-time":"2012-12-21T08:55:54Z","timestamp":1356080154000},"page":"182-191","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Item Usage Rules in Product Configuration"],"prefix":"10.1007","author":[{"given":"Alexey","family":"Voronov","sequence":"first","affiliation":[]},{"given":"Anna","family":"Tidstam","sequence":"additional","affiliation":[]},{"given":"Knut","family":"\u00c5kesson","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Malmqvist","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Astesana, J.M., Bossu, Y., Cosserat, L., Fargier, H.: Constraint-based Modeling and Exploitation of a Vehicle Range at Renaults: Requirement analysis and complexity study. In: ECAI 2010 Workshop on Configuration, pp. 33\u201339 (2010)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Astesana, J.-M., Cosserat, L., Fargier, H.: Constraint-based Vehicle Configuration: A Case Study. In: 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, pp. 68\u201375. IEEE (2010)","DOI":"10.1109\/ICTAI.2010.19"},{"issue":"6","key":"16_CR3","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D. Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems\u00a035(6), 615\u2013636 (2010)","journal-title":"Information Systems"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/5254.708436","volume":"13","author":"A. Haag","year":"1998","unstructured":"Haag, A.: Sales configuration in business processes. IEEE Intelligent Systems\u00a013(4), 78\u201385 (1998)","journal-title":"IEEE Intelligent Systems"},{"key":"16_CR5","unstructured":"Janota, M.: SAT Solving in Interactive Configuration (PhD thesis). Ph.D. thesis, University College Dublin (2010)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Junker, U.: Configuration. In: Handbook of Constraint Programming, ch.24, pp. 837\u2013874. Foundations of Artificial Intelligence. Elsevier Science Inc. (2006)","DOI":"10.1016\/S1574-6526(06)80028-3"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","volume":"7","author":"D. Berre Le","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The Sat4j library, release 2.2 system description. Journal on Satisfiability, Boolean Modeling and Computation\u00a07, 59\u201364 (2010)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"16_CR8","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":"16_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Information Sciences\u00a07, 95\u2013132 (1974)","journal-title":"Information Sciences"},{"key":"16_CR10","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming: Foundations of Artificial Intelligence. Elsevier (2006)"},{"key":"16_CR11","unstructured":"Sinz, C.: Comparing different logic-based representations of automotive parts lists. In: ECAI 2006 Workshop on Configuration, pp. 41\u201343 (2006)"},{"issue":"01","key":"16_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1017\/S0890060403171065","volume":"17","author":"C. Sinz","year":"2003","unstructured":"Sinz, C., Kaiser, A., K\u00fcchlin, W.: Formal methods for the validation of automotive product configuration data. Artificial Intelligence for Engineering Design, Analysis and Manufacturing\u00a017(01), 75\u201397 (2003)","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"16_CR13","unstructured":"Tidstam, A., Malmqvist, J.: Information Modelling for Automotive Configuration. In: Proceedings of NordDesign 2010, G\u00f6teborg, Sweden (2010)"},{"key":"16_CR14","unstructured":"Tidstam, A., Malmqvist, J.: Authoring and verifying vehicle configuration rules. In: Proc. of 8th Intl. PLM Conference, Eindhoven, The Netherlands (2011)"},{"key":"16_CR15","volume-title":"Modelling Product Structures by Generic Bills-of-Materials","author":"E.A. Veen van","year":"1992","unstructured":"van Veen, E.A.: Modelling Product Structures by Generic Bills-of-Materials. Elsevier Science Inc., New York (1992)"},{"key":"16_CR16","unstructured":"Voronov, A., \u00c5kesson, K., Ekstedt, F.: Enumeration of valid partial configurations. In: Configuration Workshop at IJCAI 2011, Barcelona, Spain (2011)"}],"container-title":["IFIP Advances in Information and Communication Technology","Product Lifecycle Management. Towards Knowledge-Rich Enterprises"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35758-9_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:25:35Z","timestamp":1620134735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35758-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357572","9783642357589"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35758-9_16","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2012]]}}}