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...
Main Authors: | , , , , |
---|---|
Format: | Journal article |
Published: |
Elsevier
2017
|