Proofs of several conjectures on linear codes from Boolean functions.
Faruk GölogluDása KrasnayováPublished in: Discret. Math. (2019)
Keyphrases
- boolean functions
- linear functions
- uniform distribution
- theorem prover
- dnf formulae
- membership queries
- prime implicants
- multi valued
- linear threshold
- functional properties
- read once formulas
- binary decision diagrams
- threshold functions
- inference rules
- polynomial size
- relevant variables
- decision trees
- theorem proving
- disjunctive normal form