Login / Signup
The expressibility of functions on the boolean domain, with applications to counting CSPs.
Andrei A. Bulatov
Martin E. Dyer
Leslie Ann Goldberg
Mark Jerrum
Colin McQuillan
Published in:
J. ACM (2013)
Keyphrases
</>
decision diagrams
domain specific
domain independent
constraint satisfaction
multi valued
real valued
computational complexity
constraint satisfaction problems
domain experts
database
optimal solution
domain ontology
markov decision processes
arc consistency
constraint networks