Accuracy recovery: A decomposition procedure for the synthesis of partially-specified Boolean functions.
Andrea CostamagnaGiovanni De MicheliPublished in: Integr. (2023)
Keyphrases
- binary decision diagrams
- boolean functions
- functional decomposition
- bi decomposition
- uniform distribution
- prime implicants
- relevant variables
- threshold functions
- linear threshold
- computational complexity
- disjunctive normal form
- functional properties
- polynomial size
- linear functions
- read once formulas
- search algorithm
- pseudo boolean functions