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...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Bulatov, A, Goldberg, L, Jerrum, M, Richerby, D, Zivny, S
Formatua: Journal article
Argitaratua: Elsevier 2017