Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions.

Olivier Coudert Jean Christophe Madre

Published in: DAC (1992)

Keyphrases

boolean functions
uniform distribution
threshold functions
prime implicants
dnf formulae
membership queries
functional properties
pseudo boolean functions
binary decision diagrams
read once formulas
learning algorithm
statistical queries
truth table