Boolean functions with long prime implicants.

Ondrej Cepek Petr Kucera Stanislav Kurik

Published in: ISAIM (2012)

Keyphrases

boolean functions
prime implicants
uniform distribution
randomly generated
prime implicates
membership queries
binary decision diagrams
abductive reasoning
multi valued
dnf formulas
database systems
automated reasoning
polynomial size