Finding Minimal ESCT Expressions for Boolean Functions with Weight of up to 7.

Dimitrios Voudouris Marinos Sampson George K. Papakonstantinou

Published in: CDES (2008)

Keyphrases

boolean functions
prime implicants
disjunctive normal form
uniform distribution
relevant variables
dnf formulae
prime implicates
functional properties
threshold functions
binary decision diagrams
dnf formulas
polynomial size
truth table
multi valued
normal form
classification rules
np complete
lower bound