SAT-Based Circuit Local Improvement.

Alexander S. Kulikov Danila Pechenev Nikita Slezkin

Published in: MFCS (2022)

Keyphrases

sat solvers
significant improvement
high speed
answer set programming
analog vlsi
real time
case study
lower bound
ai planning
digital circuits
constraint solver