Alan Borning Bjørn N. Freeman-Benson Molly Wilson Constraint Hierarchies. 23-62 1995 conf/cp/1995w Over-Constrained Systems db/conf/cp/cp1995w.html#BorningFW95