Lupia, Francesco; Crupi, Felice; Scarcello, Francesco; Greco, Gianluigi (2016-02-19)
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 ...