The complexity of counting locally maximal satisfying assignments of Boolean CSPs (Theoretical Computer Science, 2016)

(untitled) - Goldberg, L; Jerrum, M