A fundamental problem in the eld of Arti cial Intelligence and related disciplines, in particular Database theory, is the constraint satisfaction problem (or CSP) which comes as a unifying framework to express a wide ...