Log-supermodular functions, functional clones and counting CSPs.

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

Published in: STACS (2012)

Keyphrases

constraint satisfaction problems
constraint satisfaction
functional properties
functional language
software systems
website
constraint propagation
decision diagrams
solving constraint satisfaction problems
search algorithm
source code
log files
gene function