Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.

Milan Ceska Jirí Matyás Vojtech Mrazek Tomás Vojnar

Published in: SAT (2020)

Keyphrases

sat encodings
genetic algorithm
sat solving
graph coloring
neural network
evolutionary computation
evolutionary optimization
search algorithm
high speed
delay insensitive
multi objective evolutionary