Boolean functions with long prime implicants.

Ondrej Cepek Petr Kucera Stanislav Kurik

Published in: Inf. Process. Lett. (2013)

Keyphrases

boolean functions
prime implicants
uniform distribution
randomly generated
prime implicates
abductive reasoning
membership queries
disjunctive normal form
binary decision diagrams
polynomial size
search algorithm
normal form
automated reasoning
multi valued
statistical queries
dnf formulas