TY - RPRT TI - The complexity of counting locally maximal satisfying assignments of Boolean CSPs AU - Leslie Ann Goldberg AU - Mark Jerrum PY - 2016 DO - 10.1016/j.tcs.2016.04.008 UR - https://arxiv.org/abs/1509.03543 ID - 1509.03543 ER -