Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation Heuristic.

Takayuki Suyama Makoto Yokoo Akira Nagoya

Published in: IPPS/SPDP Workshops (1999)

Keyphrases

satisfiability problem
stochastic local search
search algorithm
np complete
davis putnam
graph coloring problems
max sat
combinatorial optimization
search strategies
tabu search
decision problems
constraint programming
sat instances
variable ordering
davis putnam logemann loveland