A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware.

Miron Abramovici José T. de Sousa

Published in: FCCM (1999)

Keyphrases

satisfiability problem
computational complexity
stochastic local search
optimal solution
search algorithm
randomly generated
real time
objective function
search space
first order logic
search strategy
parallel implementation