Log-supermodular functions, functional clones and counting CSPs

Andrei A. Bulatov Martin E. Dyer Leslie Ann Goldberg Mark Jerrum

Published in: CoRR (2011)

Keyphrases

constraint satisfaction problems
functional language
constraint satisfaction
functional properties
programming language
software systems
sat solvers
constraint propagation
real time
neural network
special case
np complete
constraint networks