Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency

Oliver Kullmann. Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency. Fundamenta Informaticae, 109(1):27-81, 2011. [doi]

Abstract

Abstract is missing.