Learning Interpretable Heuristics for WalkSAT

Open in new window