The complexity of counting locally maximal satisfying assignments of Boolean CSPs - Goldberg, L; Jerrum, M (Theoretical Computer Science, 2016)