Domain Reduction for Monotonicity Testing: A $o(d)$ Tester for Boolean Functions on Hypergrids.
Hadley BlackDeeparnab ChakrabartyC. SeshadhriPublished in: Electron. Colloquium Comput. Complex. (2018)
Keyphrases
- relational databases
- boolean functions
- uniform distribution
- test cases
- threshold functions
- dnf formulae
- testing process
- prime implicants
- membership queries
- functional properties
- binary decision diagrams
- software testing
- linear threshold
- polynomial size
- multi valued
- relevant variables
- bi decomposition
- domain independent
- genetic programming