Implicit Test of Regularity for Not Completely Specified Boolean Functions.
Anna BernasconiValentina CirianiFabrizio LuccioLinda PagliPublished in: IWLS (2002)
Keyphrases
- boolean functions
- uniform distribution
- randomly generated
- prime implicants
- dnf formulae
- threshold functions
- relevant variables
- membership queries
- multi valued
- linear threshold
- polynomial size
- read once formulas
- disjunctive normal form
- bi decomposition
- truth table
- state space
- functional properties
- dnf formulas
- statistical queries
- logic programs