An Efficient Implementation for WalkSAT.

Published in: CoRR (2015)

Keyphrases

computational complexity
databases
machine learning
efficient implementation
satisfiability problem
artificial intelligence
multiscale
state space
cellular automata