Approximating the Distance to Monotonicity of Boolean Functions.
Ramesh Krishnan S. PallavoorSofya RaskhodnikovaErik WaingartenPublished in: SODA (2020)
Keyphrases
- boolean functions
- uniform distribution
- prime implicants
- dnf formulae
- threshold functions
- membership queries
- relevant variables
- dnf formulas
- linear threshold
- functional properties
- truth table
- model checking
- bi decomposition
- disjunctive normal form
- polynomial size
- linear functions
- binary decision diagrams
- multi valued