Cost-Minimal Parameter Correction Subsets for Unsatisfiable Constraint Problems. - Antoine Laviolette; Claude-Guy Quimper; Raphaël Boudreault (CPAIOR, 2026)