{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:46Z","timestamp":1750307086836,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,2]],"date-time":"2012-09-02T00:00:00Z","timestamp":1346544000000},"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":[[2012,9,2]]},"DOI":"10.1145\/2362536.2362543","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"11-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A comparison of strategies for tolerating inconsistencies during decision-making"],"prefix":"10.1145","author":[{"given":"Alexander","family":"N\u00f6hrer","sequence":"first","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armin","family":"Biere","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Egyed","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,2]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"158","volume-title":"13th ICSE","author":"Balzer R.","year":"1991","unstructured":"R. Balzer . Tolerating Inconsistency . In 13th ICSE , Austin, Texas, USA , pages 158 -- 165 , 1991 . R. Balzer. Tolerating Inconsistency. In 13th ICSE, Austin, Texas, USA, pages 158--165, 1991."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309942"},{"key":"e_1_3_2_1_3_1","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Handbook of Satisfiability","author":"Biere A.","year":"2009","unstructured":"A. Biere , M. Heule , H. van Maaren , and T. Walsh , editors . Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications . IOS Press , 2009 . A. Biere, M. Heule, H. van Maaren, and T. Walsh, editors. Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0076-6"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134339"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.38"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.20"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11757283_5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.383378"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/800230.806983"},{"key":"e_1_3_2_1_12_1","first-page":"613","volume-title":"Hard and Soft Constraints. In Handbook of Satisfiability","author":"Li C. M.","year":"2009","unstructured":"C. M. Li and F. Many\u00e0 . MaxSAT , Hard and Soft Constraints. In Handbook of Satisfiability , pages 613 -- 631 . 2009 . C. M. Li and F. Many\u00e0. MaxSAT, Hard and Soft Constraints. In Handbook of Satisfiability, pages 613--631. 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9084-z"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_44"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"e_1_3_2_1_16_1","volume-title":"13th International Conference","author":"Mendon\u00e7a M.","year":"2009","unstructured":"M. Mendon\u00e7a , A. Wasowski , and K. Czarnecki . SAT-based analysis of feature models is easy. In Software Product Lines , 13th International Conference , San Francisco, California, USA, pages 231--240 , 2009 . M. Mendon\u00e7a, A. Wasowski, and K. Czarnecki. SAT-based analysis of feature models is easy. In Software Product Lines, 13th International Conference, San Francisco, California, USA, pages 231--240, 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110157"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859077"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.45"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0090-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.50"},{"key":"e_1_3_2_1_23_1","volume-title":"11th International Conference","author":"van Maaren H.","year":"2008","unstructured":"H. van Maaren and S. Wieringa . Finding Guaranteed MUSes Fast. In Theory and Applications of Satisfiability Testing , 11th International Conference , Guangzhou, China, pages 291--304 , 2008 . H. van Maaren and S. Wieringa. Finding Guaranteed MUSes Fast. In Theory and Applications of Satisfiability Testing, 11th International Conference, Guangzhou, China, pages 291--304, 2008."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.16"}],"event":{"name":"SPLC '12: 16th International Software Product Line Conference","sponsor":["Pure-Systems Pure-Systems GmbH","Petrobras Petr\u00f3leo Brasileiro S\/A","SEBRAE Servi\u00e7o Brasileiro de Apoio \u00e0s Micro E Pequenas Empresas","FAPESB Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado da Bahia","Hitachi","INES National Institute of Science and Technology for Software Engineering","IEEE Institute of Electrical and Electronics Engineers","Software Eng Inst Software Engineering Institute","Biglever BigLever Software, Inc.","CAPES Brazilian Higher Education Funding Council"],"location":"Salvador Brazil","acronym":"SPLC '12"},"container-title":["Proceedings of the 16th International Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362536.2362543","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362536.2362543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:23Z","timestamp":1750239263000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362536.2362543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,2]]},"references-count":24,"alternative-id":["10.1145\/2362536.2362543","10.1145\/2362536"],"URL":"https:\/\/doi.org\/10.1145\/2362536.2362543","relation":{},"subject":[],"published":{"date-parts":[[2012,9,2]]},"assertion":[{"value":"2012-09-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}