An approximation trichotomy for Boolean #CSP.

Martin E. Dyer Leslie Ann Goldberg Mark Jerrum

Published in: J. Comput. Syst. Sci. (2010)

Keyphrases

constraint satisfaction problems
boolean functions
approximation error
np hard
constraint satisfaction
real valued
approximation algorithms
decomposition methods
relative error
real time
error bounds
arc consistency
approximation ratio
constraint solving
multi valued
closed form
data sets