QUICKXPLAIN swMATH ID: 28625 Software Authors: Junker, U. Description: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. Over-constrained problems can have an exponential number of conflicts, which explain the failure, and an exponential number of relaxations, which restore the consistency. A user of an interactive application, however, desires explanations and relaxations containing the most important constraints. To address this need, we define preferred explanations and relaxations based on user preferences between constraints and we compute them by a generic method which works for arbitrary CP, SAT, or DL solvers. We significantly accelerate the basic method by a divide-and-conquer strategy and thus provide the technological basis for the explanation facility of a principal industrial constraint programming tool, which is, for example, used in numerous configuration applications. Homepage: https://dl.acm.org/citation.cfm?id=1597177 Related Software: MiniSat; PicoSAT; Glucose; AMUSE; ELK; Pellet; shap; GitHub; MaxHS; Clingo; MiniZinc; EL2MCS; MiniMaxSat; MUSer2; Ltur; MERGEXPLAIN; OntoDebug; Protege; HermiT; ORL Cited in: 31 Documents all top 5 Cited by 66 Authors 10 Marques-Silva, João P. 5 Mencía, Carlos 3 Previti, Alessandro 2 Ignatyev, Alexey A. 2 Janota, Mikoláš 2 Lynce, Inês 2 O’Sullivan, Barry 2 Saïs, Lakhdar 1 Alviano, Mario 1 Arif, M. Fareed 1 Aschinger, Markus 1 Belov, Anton 1 Benini, Luca 1 Brown, Kenneth N. 1 Cambazard, Hadrien 1 Dasseville, Ingmar 1 Denecker, Marc 1 Dodaro, Carmine 1 Drescher, Conrad 1 Epstein, Susan L. 1 Freuder, Eugene C. 1 Gasteiger, Philip 1 Gottlob, Georg 1 Grégoire, Éric 1 Hamadi, Youssef 1 Jamil, Noreen 1 Janssens, Gerda 1 Jessenitschnig, Markus 1 Junker, Ulrich 1 Karlsson, Emil 1 Kazakov, Yevgeny 1 Labreuche, Christophe 1 Lagniez, Jean-Marie 1 Lecoutre, Christophe 1 Li, Xingjian 1 Liffiton, Mark H. 1 Liu, Weiru 1 Lombardi, Michele 1 Lutteroth, Christof 1 Malik, Ammar 1 Malik, Sharad 1 Mazure, Bertrand 1 Mcareavey, Kevin 1 Milano, Michela 1 Müller, Johannes 1 Naeem, M. Asif 1 Piette, Cédric 1 Puranik, Yash 1 Quesada, Luis O. 1 Reale, Kristian 1 Ricca, Francesco 1 Rodler, Patrick 1 Rönnberg, Elina 1 Ruggiero, Martino 1 Sahinidis, Nikolaos V. 1 Schekotihin, Konstantin 1 Schmid, Wolfgang 1 Sitanayah, Lanny 1 Skočovský, Peter 1 Sreenan, Cormac J. 1 Tabary, Sébastien 1 Van Hertum, Pieter 1 Vidal, Vincent 1 Vollmer, Heribert 1 Weber, Gerald 1 Zanker, Markus all top 5 Cited in 9 Serials 6 Constraints 4 Artificial Intelligence 3 Theory and Practice of Logic Programming 1 Journal of Computational and Applied Mathematics 1 International Journal of Approximate Reasoning 1 Annals of Operations Research 1 Annals of Mathematics and Artificial Intelligence 1 INFORMS Journal on Computing 1 ACM Transactions on Computational Logic Cited in 5 Fields 24 Computer science (68-XX) 7 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) Citations by Year