Sign in

Improving WalkSAT By Effective Tie-Breaking and Efficient Implementation.

Shaowei CaiChuan LuoKaile 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