Solving Satisfiability Problems on FPGAs Using Experimental Unit Propagation.

Takayuki Suyama Makoto Yokoo Akira Nagoya

Published in: CP (1999)

Keyphrases

satisfiability problem
stochastic local search
search algorithm
np complete
davis putnam
temporal logic
phase transition
state space
search strategies
constraint propagation