Synthesis of threshold logic gates to nanoelectronics.
Augusto NeutzlingMayler G. A. MartinsRenato P. RibasAndré Inácio ReisPublished in: SBCCI (2013)
Keyphrases
- logic circuits
- logic synthesis
- multi valued
- logic programming
- functional programs
- modal logic
- thresholding method
- predicate logic
- sound and complete axiomatization
- threshold selection
- classical logic
- high speed
- automated reasoning
- low power
- digital circuits
- logic programs
- deontic logic
- program synthesis
- multi agent systems
- decision trees
- search engine
- genetic algorithm
- data sets