Login / Signup
SAT-based Circuit Local Improvement.
Alexander S. Kulikov
Nikita Slezkin
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
high speed
answer set programming
significant improvement
bounded model checking
machine learning
data sets
dynamic programming
knowledge representation
delay insensitive