Login / Signup
Exploiting Circuit Duality to Speed up SAT.
Luca Gaetano Amarù
Pierre-Emmanuel Gaillardon
Alan Mishchenko
Maciej J. Ciesielski
Giovanni De Micheli
Published in:
ISVLSI (2015)
Keyphrases
</>
linear programming
satisfiability problem
high speed
sat solvers
circuit design
search algorithm
sat problem
neural network
domain independent
phase transition
propositional satisfiability
boolean satisfiability
analog circuits
analog vlsi