no code implementations • 14 Nov 2017 • Georg Gottlob, Gianlugi Greco, Francesco Scarcello
Solution methods have therefore been proposed in the literature that do not require a tree projection to be given, and that either correctly decide whether the given CSP instance is satisfiable, or return that a tree projection actually does not exist.