Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin

Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg +2

We analyse the complexity of approximate counting constraint satisfactions problems $\#CSP(\mathcal{F})$, where $\mathcal{F}$ is a set of nonnegative rational-valued funct…