Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition.
Bernd SteinbachChristian LangPublished in: Artif. Intell. Rev. (2003)
Keyphrases
- bi decomposition
- boolean functions
- functional properties
- logic synthesis
- multi valued
- uniform distribution
- threshold functions
- dnf formulae
- design process
- relevant variables
- prime implicants
- membership queries
- dynamic programming
- wireless networks
- logic circuits
- polynomial size
- special case
- mobile devices
- optimal solution