Briceño, Raimundo; Bulatov, Andrei A.; Dalmau, Víctor; Larose, Benoit
(Elsevier, 2021)
The Constraint Satisfaction Problem (CSP) and its counting counterpart appears under different guises in many areas of mathematics, computer science, and elsewhere. Its structural and algorithmic properties have been shown ...