Linear isomorphism testing of Boolean functions with small approximate spectral norm.
Arijit GhoshChandrima KayalManaswi ParaasharManmatha RoyPublished in: CoRR (2023)
Keyphrases
- boolean functions
- linear functions
- uniform distribution
- truth table
- prime implicants
- dnf formulae
- functional properties
- threshold functions
- relevant variables
- pseudo boolean functions
- read once formulas
- disjunctive normal form
- linear threshold
- multi valued
- membership queries
- binary decision diagrams
- nearest neighbor
- search algorithm
- machine learning