eSLIM: Circuit Minimization with SAT Based Local Improvement.

Franz-Xaver Reichl Friedrich Slivovsky Stefan Szeider

Published in: SAT (2024)

Keyphrases

answer set programming
significant improvement
sat solvers
ai planning
version space
data sets
bounded model checking
real time
genetic algorithm
web services
np hard
high speed
digital circuits
constraint solver
analog circuits