Lugar de publicación Explanations for over-constrained problems using QuickXPlain with speculative executions 2021
