Login / Signup
Efficient Analog Circuits for Boolean Satisfiability.
Xunzhao Yin
Behnam Sedighi
Melinda Varga
Mária Ercsey-Ravasz
Zoltán Toroczkai
Xiaobo Sharon Hu
Published in:
CoRR (2016)
Keyphrases
</>
analog circuits
boolean satisfiability
digital circuits
fault diagnosis
probabilistic planning
machine learning
learning algorithm
orders of magnitude
sat solvers
combinatorial problems
max sat