Explanations for over-constrained problems using QuickXPlain with speculative executions | Publicación