Michael Jampel Eugene C. Freuder Michael J. Maher Over-Constrained Systems Lecture Notes in Computer Science 1106 Springer 1996 3-540-61479-6 db/conf/cp/cp1995w.html