The Complexity of Weighted Boolean #CSP Modulo k.

Heng Guo Sangxia Huang Pinyan Lu Mingji Xia

Published in: STACS (2011)

Keyphrases

constraint satisfaction problems
computational complexity
worst case
constraint satisfaction
boolean functions
information systems
weighted sum
space complexity
constraint propagation
real valued
decision problems
case study
data sets
arc consistency
complexity analysis
decomposition methods
tree decomposition