Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation Comput. J. 58(11): 2864-2875 (2015)

Shaowei Cai, Chuan Luo, Kaile Su
January 2015
PDF DOI
Type
Conference paper
Publication
The Computer Journal
Conf