Fabrice Bouquet Philippe Jégou Solving Over-Constrained CSPs Using Weighted OBDDs. 293-308 1995 conf/cp/1995w Over-Constrained Systems db/conf/cp/cp1995w.html#BouquetJ95 http://dx.doi.org/10.1007/3-540-61479-6_30