TY - RPRT TI - The Complexity of Weighted Boolean #CSP with Mixed Signs AU - Andrei Bulatov AU - Martin Dyer AU - Leslie Ann Goldberg AU - Markus Jalsenius AU - David Richerby PY - 2009 UR - https://arxiv.org/abs/0812.4171 ID - 0812.4171 ER -