The expressibility of functions on the boolean domain, with applications to counting CSPs

Andrei A. Bulatov, Martin E. Dyer, Leslie Ann Goldberg, Mark Jerrum, Colin McQuillan. The expressibility of functions on the boolean domain, with applications to counting CSPs. Journal of the ACM, 60(5):32, 2013. [doi]

Abstract

Abstract is missing.