Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques.
Witold S. WojciechowskiAnthony S. WojcikPublished in: IEEE Trans. Computers (1983)
Keyphrases
- automated design
- logic circuits
- multiple valued
- automatic theorem proving
- low power
- multi valued
- file organization
- evolutionary design
- boolean functions
- engineering design
- continuous attributes
- complex valued
- mechanism design
- security protocols
- power consumption
- low cost
- high speed
- image processing
- rough sets
- computational intelligence
- special case