The complexity of counting locally maximal satisfying assignments of Boolean CSPs

Leslie Ann Goldberg, Mark Jerrum. The complexity of counting locally maximal satisfying assignments of Boolean CSPs. Theoretical Computer Science, 634:35-46, 2016. [doi]

Authors

Leslie Ann Goldberg

This author has not been identified. Look up 'Leslie Ann Goldberg' in Google

Mark Jerrum

This author has not been identified. Look up 'Mark Jerrum' in Google