TY - RPRT TI - The expressibility of functions on the Boolean domain, with applications to Counting CSPs AU - Andrei A. Bulatov AU - Martin Dyer AU - Leslie Ann Goldberg AU - Mark Jerrum AU - Colin McQuillan PY - 2012 DO - 10.1145/2528401 UR - https://arxiv.org/abs/1108.5288 ID - 1108.5288 ER -