On Converting CNF to DNF.

Peter Bro Miltersen Jaikumar Radhakrishnan Ingo Wegener

Published in: MFCS (2003)

Keyphrases

boolean functions
disjunctive normal form
uniform distribution
boolean formula
decision rules
membership queries
conjunctive normal form
normal form
randomly generated
classification rules
learning algorithm
sat solvers
pac learning
target concept
binary decision diagrams
sample size
np hard
special case