Multiple Output Optimization with Mosaics of Boolean Functions.
Ronald C. de VriesAntonín SvobodaPublished in: IEEE Trans. Computers (1975)
Keyphrases
- boolean functions
- multiple output
- prime implicants
- uniform distribution
- prime implicates
- threshold functions
- randomly generated
- multiple input
- membership queries
- binary decision diagrams
- dnf formulae
- abductive reasoning
- functional properties
- disjunctive normal form
- multi valued
- statistical queries
- search algorithm
- polynomial size