Régin, Petit, Bessière, Puget, 2000. An Original Constraint Based Approach for Solving over Constrained Problems, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-45349-0_46