Eugene C. Freuder Richard J. Wallace Partial Constraint Satisfaction. 63-110 1995 conf/cp/1995w Over-Constrained Systems db/conf/cp/cp1995w.html#FreuderW95