FPTAS for Counting Monotone CNF.

Jingcheng Liu Pinyan Lu

Published in: SODA (2015)

Keyphrases

boolean functions
model counting
uniform distribution
randomly generated
knowledge compilation
approximation algorithms
polynomial size
timed automata
disjunctive normal form
data sets
learning algorithm
upper bound
np complete
sat solvers
pareto optimal