Login / Signup
SAT-based Circuit Local Improvement.
Alexander S. Kulikov
Nikita Slezkin
Published in:
CoRR (2021)
Keyphrases
</>
high speed
sat solvers
answer set programming
data sets
neural network
constraint satisfaction
machine learning
reinforcement learning
significant improvement
constraint solving
constraint solver
electronic circuits