Functional clones and expressibility of partition functions

We study functional clones, which are sets of non-negative pseudo-Boolean functions (functions f0; 1gk ! R≥0) closed under (essentially) multiplication, summation and limits. Functional clones naturally form a lattice under set inclusion and are closely related to counting Constraint Satisfaction Pr...

Full description

Bibliographic Details
Main Authors: Bulatov, A, Goldberg, L, Jerrum, M, Richerby, D, Zivny, S
Format: Journal article
Published: Elsevier 2017