Learning Interpretable Heuristics for WalkSAT.

Yannet Interian, Sara Bernardini

Browse the full KR paper archive.