Detecting Affine Equivalence Of Boolean Functions And Circuit Transformation.
Xiao ZengGuowu YangXiaoyu SongMarek A. PerkowskiGang ChenPublished in: Comput. J. (2023)
Keyphrases
- boolean functions
- uniform distribution
- truth table
- threshold functions
- prime implicants
- relevant variables
- high speed
- geometric transformations
- dnf formulae
- multi valued
- polynomial size
- affine transformation
- digital circuits
- functional properties
- read once formulas
- pseudo boolean functions
- bi decomposition
- binary decision diagrams
- dnf formulas
- statistical queries
- lower bound