Improved Linear Decomposition of Majority and Threshold Boolean Functions.
Anupam ChattopadhyayDebjyoti BhattacharjeeSubhamoy MaitraPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- boolean functions
- threshold functions
- bi decomposition
- functional decomposition
- uniform distribution
- linear functions
- relevant variables
- membership queries
- functional properties
- prime implicants
- multi valued
- dnf formulae
- linear threshold
- truth table
- pseudo boolean functions
- learning algorithm
- polynomial size
- binary decision diagrams
- read once formulas
- automated reasoning