Partial Arc Consistency. - Nick Lendris; Lefteris M. Kirousis; Yannis C. Stamatiou; Dimitrios M. Thilikos (Over-Constrained Systems, 1995)