Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.

Shaowei Cai Chuan Luo Kaile Su

Published in: Comput. J. (2015)

Keyphrases

efficient implementation
active set
tie breaking
highly parallel
search algorithm
worst case
satisfiability problem
hardware implementation
efficient processing