The complexity of counting locally maximal satisfying assignments of Boolean CSPs.

Leslie Ann Goldberg Mark Jerrum

Published in: Theor. Comput. Sci. (2016)

Keyphrases

constraint satisfaction problems
space complexity
worst case
constraint propagation
arc consistency
computational complexity
search space
computational cost
neural network
real valued
boolean functions
constraint networks
boolean queries
constraint graph
solving constraint satisfaction problems