Reference point-based evolutionary multi-objective optimization for reversible logic circuit synthesis.
Xiaoxiao WangPublished in: BMEI (2014)
Keyphrases
- evolutionary multi objective optimization
- multi objective
- logic programming
- classical logic
- cellular automata
- databases
- epistemic logic
- modal logic
- computational properties
- predicate logic
- sound and complete axiomatization
- propositional dynamic logic
- formal theory
- first order logic
- markov chain
- image sequences
- information retrieval
- neural network