Improving ESOP-Based Synthesis of Reversible Logic Using Evolutionary Algorithms.
Rolf DrechslerAlexander FinderRobert WillePublished in: EvoApplications (2) (2011)
Keyphrases
- evolutionary algorithm
- multi objective
- optimization problems
- logic synthesis
- differential evolution algorithm
- differential evolution
- evolutionary computation
- genetic programming
- simulated annealing
- fitness function
- multi objective optimization
- heuristic search
- program synthesis
- genetic algorithm
- defeasible logic
- modal logic
- functional programs
- multi valued
- automated reasoning
- evolution strategy
- texture synthesis
- cellular automata
- logic programming
- logical framework
- evolutionary process
- proof theory
- particle swarm optimization
- knowledge representation
- sound and complete axiomatization