Diagnosing and Solving Over-Determined Constraint Satisfaction Problems.

R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum

Browse the full IJCAI paper archive.