{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:16Z","timestamp":1750220056341,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577830","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"1486-1489","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Optimization of the Product Configuration System of Renault"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6757-5413","authenticated-orcid":false,"given":"Hao","family":"Xu","sequence":"first","affiliation":[{"name":"LIP6, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8140-0273","authenticated-orcid":false,"given":"Souheib","family":"Baarir","sequence":"additional","affiliation":[{"name":"LIP6 (Now at EPITA), Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9241-8276","authenticated-orcid":false,"given":"Tewfik","family":"Ziadi","sequence":"additional","affiliation":[{"name":"Sorbonne University (UPMC) - LIP6 - CNRS, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5021-0856","authenticated-orcid":false,"given":"Siham","family":"Essodaigui","sequence":"additional","affiliation":[{"name":"Renault, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3127-7622","authenticated-orcid":false,"given":"Yves","family":"Bossu","sequence":"additional","affiliation":[{"name":"Renault, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4558-720X","authenticated-orcid":false,"given":"Lom","family":"Messan Hillah","sequence":"additional","affiliation":[{"name":"LIP6 (Now at Meritis), Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"volume-title":"ICTAI (1)","author":"Astesana Jean-Marc","key":"e_1_3_2_1_1_1","unstructured":"Jean-Marc Astesana , Laurent Cosserat , and H\u00e9l\u00e8ne Fargier . 2010. Constraint-based Vehicle Configuration: A Case Study . In ICTAI (1) . IEEE Computer Society , 68--75. Jean-Marc Astesana, Laurent Cosserat, and H\u00e9l\u00e8ne Fargier. 2010. Constraint-based Vehicle Configuration: A Case Study. In ICTAI (1). IEEE Computer Society, 68--75."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_4_1","first-page":"2","article-title":"Symmetry definitions for constraint satisfaction problems","volume":"11","author":"Cohen David","year":"2006","unstructured":"David Cohen , Peter Jeavons , Christopher Jefferson , Karen E Petrie , and Barbara M Smith . 2006 . Symmetry definitions for constraint satisfaction problems . Constraints 11 , 2 - 3 (2006), 115--137. David Cohen, Peter Jeavons, Christopher Jefferson, Karen E Petrie, and Barbara M Smith. 2006. Symmetry definitions for constraint satisfaction problems. Constraints 11, 2-3 (2006), 115--137.","journal-title":"Constraints"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167352"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622810.1622817"},{"key":"e_1_3_2_1_7_1","volume-title":"International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems. Springer, 746--756","author":"Felfernig Alexander","year":"2001","unstructured":"Alexander Felfernig , Gerhard Friedrich , Dietmar Jannach , and Markus Zanker . 2001 . Intelligent support for interactive configuration of mass-customized products . In International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems. Springer, 746--756 . Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Zanker. 2001. Intelligent support for interactive configuration of mass-customized products. In International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems. Springer, 746--756."},{"key":"e_1_3_2_1_8_1","volume-title":"International Conference on Principles and Practice of Constraint Programming. Springer, 415--430","author":"Gent Ian P","year":"2002","unstructured":"Ian P Gent , Warwick Harvey , and Tom Kelsey . 2002 . Groups and constraints: Symmetry breaking during search . In International Conference on Principles and Practice of Constraint Programming. Springer, 415--430 . Ian P Gent, Warwick Harvey, and Tom Kelsey. 2002. Groups and constraints: Symmetry breaking during search. In International Conference on Principles and Practice of Constraint Programming. Springer, 415--430."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(06)80014-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972870.13"},{"key":"e_1_3_2_1_11_1","volume-title":"Abscon 109: a generic CSP solver. (01","author":"Lecoutre Christophe","year":"2008","unstructured":"Christophe Lecoutre and S\u00e9bastien Tabary . 2008. Abscon 109: a generic CSP solver. (01 2008 ). Christophe Lecoutre and S\u00e9bastien Tabary. 2008. Abscon 109: a generic CSP solver. (01 2008)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9057-9"},{"key":"e_1_3_2_1_13_1","volume-title":"On finding the strongly connected components in a directed graph. Information processing letters 49, 1","author":"Nuutila Esko","year":"1994","unstructured":"Esko Nuutila and Eljas Soisalon-Soininen . 1994. On finding the strongly connected components in a directed graph. Information processing letters 49, 1 ( 1994 ), 9--14. Esko Nuutila and Eljas Soisalon-Soininen. 1994. On finding the strongly connected components in a directed graph. Information processing letters 49, 1 (1994), 9--14."},{"key":"e_1_3_2_1_14_1","volume-title":"ECAI 2002 Configuration Workshop. 35--40","author":"Pargamin Bernard","year":"2002","unstructured":"Bernard Pargamin . 2002 . Vehicle sales configuration: the cluster tree approach . In ECAI 2002 Configuration Workshop. 35--40 . Bernard Pargamin. 2002. Vehicle sales configuration: the cluster tree approach. In ECAI 2002 Configuration Workshop. 35--40."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the IJCAI","volume":"3","author":"Pargamin Bernard","year":"2003","unstructured":"Bernard Pargamin . 2003 . Extending cluster tree compilation with non-boolean variables in product configuration: A tractable approach to preference-based configuration . In Proceedings of the IJCAI , Vol. 3 . Citeseer. Bernard Pargamin. 2003. Extending cluster tree compilation with non-boolean variables in product configuration: A tractable approach to preference-based configuration. In Proceedings of the IJCAI, Vol. 3. Citeseer."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100068"},{"key":"e_1_3_2_1_17_1","volume-title":"International Conference on Principles and Practice of Constraint Programming. Springer, 585--599","author":"Puget Jean-Fran\u00e7ois","year":"2003","unstructured":"Jean-Fran\u00e7ois Puget . 2003 . Symmetry breaking using stabilizers . In International Conference on Principles and Practice of Constraint Programming. Springer, 585--599 . Jean-Fran\u00e7ois Puget. 2003. Symmetry breaking using stabilizers. In International Conference on Principles and Practice of Constraint Programming. Springer, 585--599."},{"key":"e_1_3_2_1_18_1","volume-title":"International Conference on Principles and Practice of Constraint Programming. Springer, 475--489","author":"Puget Jean-Fran\u00e7ois","year":"2005","unstructured":"Jean-Fran\u00e7ois Puget . 2005 . Automatic detection of variable and value symmetries . In International Conference on Principles and Practice of Constraint Programming. Springer, 475--489 . Jean-Fran\u00e7ois Puget. 2005. Automatic detection of variable and value symmetries. In International Conference on Principles and Practice of Constraint Programming. Springer, 475--489."},{"key":"e_1_3_2_1_19_1","volume-title":"Peter Van Beek, and Toby Walsh","author":"Rossi Francesca","year":"2006","unstructured":"Francesca Rossi , Peter Van Beek, and Toby Walsh . 2006 . Handbook of constraint programming. Elsevier . Francesca Rossi, Peter Van Beek, and Toby Walsh. 2006. Handbook of constraint programming. Elsevier."},{"key":"e_1_3_2_1_20_1","volume-title":"XML representation of constraint networks: Format XCSP 2.1. arXiv preprint arXiv:0902.2362","author":"Roussel Olivier","year":"2009","unstructured":"Olivier Roussel and Christophe Lecoutre . 2009. XML representation of constraint networks: Format XCSP 2.1. arXiv preprint arXiv:0902.2362 ( 2009 ). Olivier Roussel and Christophe Lecoutre. 2009. XML representation of constraint networks: Format XCSP 2.1. arXiv preprint arXiv:0902.2362 (2009)."},{"key":"e_1_3_2_1_21_1","first-page":"289","article-title":"Symmetry and Satisfiability","volume":"185","author":"Sakallah Karem A","year":"2009","unstructured":"Karem A Sakallah . 2009 . Symmetry and Satisfiability . Handbook of Satisfiability 185 (2009), 289 -- 338 . Karem A Sakallah. 2009. Symmetry and Satisfiability. Handbook of Satisfiability 185 (2009), 289--338.","journal-title":"Handbook of Satisfiability"}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Tallinn Estonia","acronym":"SAC '23"},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577830","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:30Z","timestamp":1750183710000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":21,"alternative-id":["10.1145\/3555776.3577830","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577830","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}