Genetic Algorithm-Based Combinational Logic Synthesis Using Universal Logic Modules.
Shahana Thottathikkulam KassimRekha K. JamesK. Poulose JacobSreela SasiPublished in: ESA (2007)
Keyphrases
- multi valued
- logic synthesis
- modal logic
- logic programming
- asynchronous circuits
- functional programs
- predicate logic
- classical logic
- building blocks
- texture synthesis
- proof theory
- neural network
- program synthesis
- sound and complete axiomatization
- modular structure
- modular architecture
- defeasible logic
- deontic logic
- epistemic logic
- functional modules
- computational properties
- logical framework
- information systems
- machine learning
- data mining