Image

Constraint Satisfaction Problems (CSPs) have been studied extensively in the literature, and their counting version provides a sufficiently broad framework to address a large class of counting problems for which one can hope to prove complexity dichotomy theorems. In this talk we will review the recent sequence of dichotomy theorems on counting CSP and showcase some of the techniques developed in these works.
The first session of this mini course will take place on Tuesday, January 26 from 11:00 am – 12:00 pm.