Computer aided minimization procedure for boolean functions.
Nripendra N. BiswasPublished in: DAC (1984)
Keyphrases
- computer aided
- boolean functions
- uniform distribution
- computer aided diagnosis
- prime implicants
- capsule endoscopy
- image analysis
- threshold functions
- computer aided design
- membership queries
- multi valued
- process planning
- dnf formulae
- linear threshold
- cad systems
- relevant variables
- differential diagnosis
- design tools
- read once formulas
- diagnosis of breast cancer
- fault tree
- objective function
- disjunctive normal form
- pulmonary nodules
- medical images