Diagnosing and Solving Over-Determined Constraint Satisfaction Problems

R. R. Bakker, F. Dikker, F. Tempelman, P. M. Wognum. Diagnosing and Solving Over-Determined Constraint Satisfaction Problems. In IJCAI. pages 276-281, 1993.

Abstract

Abstract is missing.