FPTAS for Counting Monotone CNF.

Jingcheng Liu Pinyan Lu

Published in: CoRR (2013)

Keyphrases

boolean functions
model counting
uniform distribution
polynomial size
disjunctive normal form
knowledge compilation
randomly generated
timed automata
approximation algorithms
conjunctive normal form
real time
upper bound
satisfiability testing
np complete
np hardness
sat solving
optimal solution
case study