Cristian Vidal 0001, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides 0001. Explanations for over-constrained problems using QuickXPlain with speculative executions. J. Intell. Inf. Syst., 57(3):491-508, 2021. [doi]
Abstract is missing.