Pedro Meseguer Noureddine Bouhmala Taoufik Bouzoubaa Morten Irgens Martí Sánchez Current Approaches for Solving Over-Constrained Problems. 9-39 2003 8 Constraints 1 db/journals/constraints/constraints8.html#MeseguerBBIS03