Computer-Aided Minimization Procedure for Boolean Functions.
Nripendra N. BiswasPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1986)
Keyphrases
- computer aided
- boolean functions
- uniform distribution
- diagnosis of breast cancer
- relevant variables
- prime implicants
- image analysis
- threshold functions
- computer aided diagnosis
- objective function
- computer aided design
- membership queries
- dnf formulae
- functional properties
- binary decision diagrams
- process planning
- read once formulas
- capsule endoscopy
- linear threshold
- neural network
- machine learning