SAT Based Fitness Scoring for Digital Circuit Evolution.
Mumtaz AliOsman HasanPublished in: J. Circuits Syst. Comput. (2018)
Keyphrases
- digital circuits
- evolution process
- evolutionary process
- natural selection
- evolutionary algorithm
- analog circuits
- genetic algorithm
- data flow
- genetic programming
- model based diagnosis
- fitness function
- circuit design
- finite state machines
- evolvable hardware
- answer set programming
- sat solvers
- version space
- population size
- dynamic programming
- computational complexity
- reinforcement learning
- databases
- database