Login / Signup

Efficient Analog Circuits for Boolean Satisfiability.

Xunzhao YinBehnam SedighiMelinda VargaMária Ercsey-RavaszZoltán ToroczkaiXiaobo Sharon Hu
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2018)
Keyphrases
  • analog circuits
  • boolean satisfiability
  • fault diagnosis
  • sat solvers
  • digital circuits
  • machine learning
  • expert systems
  • heuristic search
  • boolean functions
  • probabilistic planning