{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T12:56:37Z","timestamp":1781614597527,"version":"3.54.5"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T00:00:00Z","timestamp":1761696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T00:00:00Z","timestamp":1761696000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"publisher","award":["84004994"],"award-info":[{"award-number":["84004994"]}],"id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Constraints"],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    We consider a product configuration problem for high-performance pumps and valves, where feasible configurations are defined by restriction tables. For this problem we propose a\n                    <jats:italic>Constraint Programming<\/jats:italic>\n                    based model to find preferred solutions and to detect conflicts. We introduce an algorithm for enumerating minimal conflicts and their resolutions. The paper highlights two primary use cases: assisting sales personnel to resolve conflicts that arise during product configuration when not all the customer requirements can be met simultaneously and aiding product modelers in structuring and validating product models by finding the source of unexpected conflicts. The study also explores model preprocessing techniques to improve the solver performance. The algorithm is shown to be well suited for both real-time decision support and in-depth product model analysis in the cases at hand; the computational results demonstrate the practical applicability of the approach.\n                  <\/jats:p>","DOI":"10.1007\/s10601-025-09381-2","type":"journal-article","created":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T09:59:30Z","timestamp":1761731970000},"page":"35-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Solutions and minimal conflict search for product configuration: a case study"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7060-8669","authenticated-orcid":false,"given":"Sebastian","family":"Velten","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christopher","family":"Hamkins","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,29]]},"reference":[{"issue":"21","key":"9381_CR1","doi-asserted-by":"publisher","first-page":"6381","DOI":"10.1080\/00207543.2014.942012","volume":"52","author":"LL Zhang","year":"2014","unstructured":"Zhang, L. L. (2014). Product configuration: A review of the state-of-the-art and future research. International Journal of Production Research, 52(21), 6381\u20136398. https:\/\/doi.org\/10.1080\/00207543.2014.942012","journal-title":"International Journal of Production Research"},{"key":"9381_CR2","unstructured":"Reinfrank, F., Ninaus, G., Wotawa, F., & Felfernig, A. (2015). Maintaining constraint-based con-guration systems: Challenges ahead. In CEUR workshop proceedings (Vol. 1453, pp. 39\u201346). RWTH Aachen."},{"key":"9381_CR3","unstructured":"Felfernig, A., Zehentner, C., & Blazek, P. (2021). Corediag: Eliminating redundancy in constraint sets. arXiv:2102.12151"},{"issue":"2","key":"9381_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1177\/1063293X11406750","volume":"19","author":"L Wang","year":"2011","unstructured":"Wang, L., Ng, W. K., & Song, B. (2011). Extended dcsp approach on product configuration with cost estimation. Concurrent Engineering, 19(2), 123\u2013138. https:\/\/doi.org\/10.1177\/1063293X11406750","journal-title":"Concurrent Engineering"},{"key":"9381_CR5","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-38977-1_11","volume-title":"Safe and secure software reuse","author":"D Benavides","year":"2013","unstructured":"Benavides, D., Felfernig, A., Galindo, J. A., & Reinfrank, F. (2013). Automated analysis in feature modelling and product configuration. In J. Favaro & M. Morisio (Eds.), Safe and secure software reuse (pp. 160\u2013175). Berlin, Heidelberg: Springer."},{"issue":"20","key":"9381_CR6","doi-asserted-by":"publisher","first-page":"4455","DOI":"10.1080\/00207540500142381","volume":"43","author":"H Xie","year":"2005","unstructured":"Xie, H., Henderson, P., & Kernahan, M. (2005). Modelling and solving engineering product configuration problems by constraint satisfaction. International Journal of Production Research, 43(20), 4455\u20134469. https:\/\/doi.org\/10.1080\/00207540500142381","journal-title":"International Journal of Production Research"},{"key":"9381_CR7","doi-asserted-by":"crossref","unstructured":"Schubert, M., Felfernig, A., & Mandl, M. (2009). Solving over-constrained problems using network analysis. In 2009 international conference on adaptive and intelligent systems (pp. 9\u201314). IEEE.","DOI":"10.1109\/ICAIS.2009.12"},{"key":"9381_CR8","doi-asserted-by":"crossref","unstructured":"Schubert, M., Felfernig, A., & Mandl, M. (2010). Fastxplain: Conflict detection for constraint-based recommendation problems. In International conference on industrial, engineering and other applications of applied intelligent systems (pp. 621\u2013630). Springer.","DOI":"10.1007\/978-3-642-13022-9_62"},{"issue":"1","key":"9381_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32(1), 57\u201395. https:\/\/doi.org\/10.1016\/0004-3702(87)90062-2","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9381_CR10","first-page":"175","volume":"25","author":"A Felfernig","year":"2011","unstructured":"Felfernig, A., & Schubert, M. (2011). Personalized diagnoses for inconsistent user requirements. AI EDAM, 25(2), 175\u2013183.","journal-title":"AI EDAM"},{"issue":"1","key":"9381_CR11","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S0890060411000011","volume":"26","author":"A Felfernig","year":"2012","unstructured":"Felfernig, A., Schubert, M., & Zehentner, C. (2012). An efficient diagnosis algorithm for inconsistent constraint sets. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 26(1), 53\u201362. https:\/\/doi.org\/10.1017\/S0890060411000011","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"9381_CR12","unstructured":"Junker, U. (2004). Quickxplain: Preferred explanations and relaxations for over-constrained problems. In Proceedings of the 19th national conference on artifical intelligence (pp. 167\u2013172)."},{"issue":"2","key":"9381_CR13","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/S10601-015-9183-0","volume":"21","author":"MH Liffiton","year":"2016","unstructured":"Liffiton, M. H., Previti, A., Malik, A., & Marques-Silva, J. (2016). Fast, flexible MUS enumeration. Constraints - An International Journal, 21(2), 223\u2013250. https:\/\/doi.org\/10.1007\/S10601-015-9183-0","journal-title":"Constraints - An International Journal"},{"key":"9381_CR14","doi-asserted-by":"crossref","unstructured":"Stern, R., Kalech, M., Feldman, A., & Provan, G. (2012). Exploring the duality in conflict-directed model-based diagnosis. In Proceedings of the AAAI conference on artificial intelligence (Vol. 26, pp. 828\u2013834).","DOI":"10.1609\/aaai.v26i1.8231"},{"key":"9381_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-031-08623-6_14","volume-title":"Operations research proceedings 2021","author":"T Fischer","year":"2022","unstructured":"Fischer, T., Hamkins, C., Velten, S., & Wortel, P. (2022). Determining and resolving conflicts in the configuration of high-performance pumps. In N. Trautmann & M. Gn\u00e4gi (Eds.), Operations research proceedings 2021 (pp. 87\u201392). Cham: Springer."},{"key":"9381_CR16","unstructured":"Mittal, S., & Falkenhainer, B. (1990). Dynamic constraint satisfaction. In Proceedings eighth national conference on artificial intelligence (pp. 25\u201332)."},{"key":"9381_CR17","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0890060410000570","volume":"25","author":"AA Falkner","year":"2011","unstructured":"Falkner, A. A., Haselb\u00f6ck, A., Schenner, G., & Schreiner, H. (2011). Modeling and solving technical product configuration problems. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 25, 115\u2013129.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"9381_CR18","unstructured":"Google (2020). Google\u2019s or-tools. https:\/\/developers.google.com\/optimization\/"},{"key":"9381_CR19","unstructured":"Wotawa, F., Stettinger, M., Reinfrank, F., Ninaus, G., & Felfernig, A. (2015). Conflict management for constraint-based recommendation. In CPCR+ ITWP@ IJCAI."},{"key":"9381_CR20","unstructured":"Hadzic, T., Subbarayan, S., Jensen, R., Andersen, H., M\u00f8ller, J., & Hulgaard, H. (2009). Fast backtrack-free product configuration using a precompiled solution space representation. PETO."},{"issue":"2","key":"9381_CR21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R Mohr","year":"1986","unstructured":"Mohr, R., & Henderson, T. C. (1986). Arc and path consistency revisited. Artificial Intelligence, 28(2), 225\u2013233.","journal-title":"Artificial Intelligence"}],"container-title":["Constraints"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-025-09381-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10601-025-09381-2","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10601-025-09381-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T12:14:16Z","timestamp":1781612056000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10601-025-09381-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,29]]},"references-count":21,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["9381"],"URL":"https:\/\/doi.org\/10.1007\/s10601-025-09381-2","relation":{},"ISSN":["1383-7133","1572-9354"],"issn-type":[{"value":"1383-7133","type":"print"},{"value":"1572-9354","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,29]]},"assertion":[{"value":"7 April 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 April 2026","order":5,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Update","order":6,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This article is eligible for coverage under the DEAL agreement between Sebastian Velten's institution and Springer Nature, so retrospective Open Access has been applied.","order":7,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}}]}}