Martin E. Dyer Leslie Ann Goldberg Mark Jerrum The Complexity of Weighted Boolean CSP. 1970-1986 2009 38 SIAM J. Comput. 5 http://dx.doi.org/10.1137/070690201 db/journals/siamcomp/siamcomp38.html#DyerGJ09