Symmetric Parameterised Holants on Hypergraphs: Towards a Classification for Parameterised VCSPs

Panagiotis Aivasiliotis, Andreas Göbel, Marc Roth

We study the complexity of the parameterised counting constraint satisfaction problem: given a set of constraints over a set of variables and a positive integer $k$, how many ways…