Bulatov, et al.. The Complexity of Weighted Boolean #CSP with Mixed Signs. 3 June 2009.