Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. - R. R. Bakker; F. Dikker; F. Tempelman; P. M. Wognum (IJCAI, 1993)