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