The Complexity of Weighted Boolean #CSP Modulo k.

Heng Guo, Sangxia Huang, Pinyan Lu, Mingji Xia

Browse the full STACS paper archive.