{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:10Z","timestamp":1750220170970,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Austrian Research Promotion Agency FFG","award":["880657"],"award-info":[{"award-number":["880657"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1145\/3546932.3546992","type":"proceedings-article","created":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T22:11:00Z","timestamp":1661379060000},"page":"164-169","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["WipeOutR"],"prefix":"10.1145","author":[{"given":"Viet-Man","family":"Le","sequence":"first","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}]},{"given":"Alexander","family":"Felfernig","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}]},{"given":"Mathias","family":"Uta","sequence":"additional","affiliation":[{"name":"Siemens Energy AG, Erlangen, Germany"}]},{"given":"Thi Ngoc Trang","family":"Tran","sequence":"additional","affiliation":[{"name":"Graz University of Technology, Graz, Austria"}]},{"given":"Cristian Vidal","family":"Silva","sequence":"additional","affiliation":[{"name":"Universidad de Talca, Talca, Chile"}]}],"member":"320","published-online":{"date-parts":[[2022,9,12]]},"reference":[{"volume-title":"IJCAI'93","author":"Bakker R.","unstructured":"R. Bakker , F. Dikker , F. Tempelman , and P. Wogmim . 1993. Diagnosing and solving over-determined constraint satisfaction problems . In IJCAI'93 . Morgan Kaufmann, 276--281. R. Bakker, F. Dikker, F. Tempelman, and P. Wogmim. 1993. Diagnosing and solving over-determined constraint satisfaction problems. In IJCAI'93. Morgan Kaufmann, 276--281.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/11554844_3"},{"volume-title":"Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS, 7925)","author":"Benavides D.","unstructured":"D. Benavides , A. Felfernig , J. Galindo , and F. Reinfrank . 2013 . Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS, 7925) . Springer, Pisa, Italy, 160--175. D. Benavides, A. Felfernig, J. Galindo, and F. Reinfrank. 2013. Automated Analysis in Feature Modelling and Product Configuration. In ICSR'13 (LNCS, 7925). Springer, Pisa, Italy, 160--175.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1016\/j.is.2010.01.001"},{"volume-title":"Towards Anomaly Explanation in Feature Models. In 15th International Configuration Workshop","author":"Felfernig A.","unstructured":"A. Felfernig , D. Benavides , J. Galindo , and F. Reinfrank . 2013 . Towards Anomaly Explanation in Feature Models. In 15th International Configuration Workshop . Vienna, Austria, 117--124. A. Felfernig, D. Benavides, J. Galindo, and F. Reinfrank. 2013. Towards Anomaly Explanation in Feature Models. In 15th International Configuration Workshop. Vienna, Austria, 117--124.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/S0004-3702(03)00117-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1007\/s10844-017-0492-1"},{"key":"e_1_3_2_1_8_1","volume-title":"Combinatorial Redundancy Detection. In 31st Intl. Symposium on Comput. Geometry (SoCG'15)","author":"Fukada K.","year":"2015","unstructured":"K. Fukada , B. G\u00e4rtner , and May Szedlak . 2015 . Combinatorial Redundancy Detection. In 31st Intl. Symposium on Comput. Geometry (SoCG'15) . 315--328. K. Fukada, B. G\u00e4rtner, and May Szedlak. 2015. Combinatorial Redundancy Detection. In 31st Intl. Symposium on Comput. Geometry (SoCG'15). 315--328."},{"doi-asserted-by":"crossref","unstructured":"S. Grimm J. Wissmann G. Antoniou M. Grobelnik E. Simperl B. Parsia D. Plexousakis D. Leenheer and J. Pan. 2011. Elimination of Redundancy in Ontologies. In The Semantic Web: Research and Applications. Springer 260--274.  S. Grimm J. Wissmann G. Antoniou M. Grobelnik E. Simperl B. Parsia D. Plexousakis D. Leenheer and J. Pan. 2011. Elimination of Redundancy in Ontologies. In The Semantic Web: Research and Applications. Springer 260--274.","key":"e_1_3_2_1_9_1","DOI":"10.1007\/978-3-642-21034-1_18"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/s10664-021-10102-5"},{"key":"e_1_3_2_1_11_1","volume-title":"AAAI","author":"Junker U.","year":"2004","unstructured":"U. Junker . 2004 . QuickXPlain: preferred explanations and relaxations for over-constrained problems . In AAAI 2004. 167--172. U. Junker. 2004. QuickXPlain: preferred explanations and relaxations for over-constrained problems. In AAAI 2004. 167--172."},{"key":"e_1_3_2_1_12_1","volume-title":"Tech.Rep. - SEI-90-TR-21","author":"Kang K.","year":"1990","unstructured":"K. Kang , S. Cohen , J. Hess , W. Novak , and S. Peterson . 1990 . Feature-oriented Domain Analysis (FODA) - Feasibility Study . Tech.Rep. - SEI-90-TR-21 (1990). K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. 1990. Feature-oriented Domain Analysis (FODA) - Feasibility Study. Tech.Rep. - SEI-90-TR-21 (1990)."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1960275.1960284"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/3093335.2993248"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1016\/j.simpa.2021.100085"},{"volume-title":"DirectDebug: Automated Testing and Debugging of Feature Models","author":"Le V.M.","unstructured":"V.M. Le , A. Felfernig , M. Uta , D. Benavides , J. Galindo , and T.N.T. Tran . 2021. DirectDebug: Automated Testing and Debugging of Feature Models . In IEEE\/ACM 43rd International Conference on Software Engineering : New Ideas and Emerging Results (ICSE-NIER) (Virtual). IEEE\/ACM , 81--85. V.M. Le, A. Felfernig, M. Uta, D. Benavides, J. Galindo, and T.N.T. Tran. 2021. DirectDebug: Automated Testing and Debugging of Feature Models. In IEEE\/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) (Virtual). IEEE\/ACM, 81--85.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"crossref","unstructured":"S. Paulraj and P. Sumathi. 2010. A Comparative Study of Redundant Constraints Identification Methods in Linear Programming Problems. Mathematical Problems in Engineering (2010) 1--16.  S. Paulraj and P. Sumathi. 2010. A Comparative Study of Redundant Constraints Identification Methods in Linear Programming Problems. Mathematical Problems in Engineering (2010) 1--16.","key":"e_1_3_2_1_17_1","DOI":"10.1155\/2010\/723402"},{"key":"e_1_3_2_1_18_1","volume-title":"Let the Solver Deal with Redundancy. In 20th IEEE International Conference on Tools with Artificial Intelligence. 67--73","author":"Piette C.","year":"2008","unstructured":"C. Piette . 2008 . Let the Solver Deal with Redundancy. In 20th IEEE International Conference on Tools with Artificial Intelligence. 67--73 . C. Piette. 2008. Let the Solver Deal with Redundancy. In 20th IEEE International Conference on Tools with Artificial Intelligence. 67--73."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1016\/0004-3702(87)90062-2"},{"unstructured":"F. Rossi P. van Beek and T. Walsh. 2006. Handbook of Constraint Programming. Elsevier.  F. Rossi P. van Beek and T. Walsh. 2006. Handbook of Constraint Programming. Elsevier.","key":"e_1_3_2_1_20_1"},{"volume-title":"Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems. In AAAI Workshop on Configuration","author":"Sabin M.","unstructured":"M. Sabin and E. Freuder . 1999 . Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems. In AAAI Workshop on Configuration . Orlando, FL, USA, 90--94. M. Sabin and E. Freuder. 1999. Detecting and Resolving Inconsistency and Redundancy in Conditional Constraint Satisfaction Problems. In AAAI Workshop on Configuration. Orlando, FL, USA, 90--94.","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/s10664-020-09930-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1016\/j.jss.2007.10.030"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1007\/s10844-021-00675-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1109\/2.963440"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1109\/32.988498"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"SPLC '22","name":"SPLC '22: 26th ACM International Systems and Software Product Line Conference","location":"Graz Austria"},"container-title":["Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546932.3546992","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3546932.3546992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:41Z","timestamp":1750186841000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3546932.3546992"}},"subtitle":["automated redundancy detection for feature models"],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":26,"alternative-id":["10.1145\/3546932.3546992","10.1145\/3546932"],"URL":"https:\/\/doi.org\/10.1145\/3546932.3546992","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]},"assertion":[{"value":"2022-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}