Solving Satisfiability in Combinational Circuits.

João P. Marques Silva Luís Guerra e Silva

Published in: IEEE Des. Test Comput. (2003)

Keyphrases

logic circuits
asynchronous circuits
satisfiability problem
sat solving
computational complexity
stochastic local search
neural network
np complete
orders of magnitude
lower bound
solving problems
search heuristics
quantum computing