@article{9afd6759775b4b9fb61fa09f111eddf3,
title = "Explanations for over-constrained problems using QuickXPlain with speculative executions",
abstract = "Conflict detection is used in various scenarios ranging from interactive decision making (e.g., knowledge-based configuration) to the diagnosis of potentially faulty models (e.g., using knowledge base analysis operations). Conflicts can be regarded as sets of restrictions (constraints) causing an inconsistency. Junker{\textquoteright}s QuickXPlain is a divide-and-conquer based algorithm for the detection of preferred minimal conflicts. In this article, we present a novel approach to the detection of such conflicts which is based on speculative programming. We introduce a parallelization of QuickXPlain and empirically evaluate this approach on the basis of synthesized knowledge bases representing feature models. The results of this evaluation show significant performance improvements in the parallelized QuickXPlain version.",
keywords = "Configuration, Conflict detection, Constraint solving, Diagnosis, Explanations, Feature models, Speculative programming",
author = "Cristian Vidal and Alexander Felfernig and Jos{\'e} Galindo and M{\"u}sl{\"u}m Atas and David Benavides",
note = "Funding Information: This work has been partially funded by the EU FEDER program, the ParXCel project (880657) funded by the Austrian Research Promotion Agency, the MINECO project OPHELIA (RTI2018-101204-B-C22), the TASOVA network (MCIU-AEI TIN2017-90644-REDT), and the Junta de Andalucia METAMORFOSIS project. We want to thank Jes?s Gir?ldez from the University of Granada as well as Rafael Corchuelo and Mayte G?mez?L?pez from the University of Sevilla for providing feedback in early stages of this research. Funding Information: This work has been partially funded by the EU FEDER program, the ParXCel project (880657) funded by the Austrian Research Promotion Agency, the MINECO project OPHELIA (RTI2018-101204-B-C22), the TASOVA network (MCIU-AEI TIN2017-90644-REDT), and the Junta de Andalucia METAMORFOSIS project. We want to thank Jes{\'u}s Gir{\'a}ldez from the University of Granada as well as Rafael Corchuelo and Mayte G{\'o}mez–L{\'o}pez from the University of Sevilla for providing feedback in early stages of this research. Publisher Copyright: {\textcopyright} 2021, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.",
year = "2021",
month = dec,
doi = "10.1007/s10844-021-00675-4",
language = "English",
volume = "57",
pages = "491--508",
journal = "Journal of Intelligent Information Systems",
issn = "0925-9902",
publisher = "Springer Netherlands",
number = "3",
}