TY  - RPRT
TI  - Learning Interpretable Heuristics for WalkSAT
AU  - Yannet Interian
AU  - Sara Bernardini
PY  - 2023
UR  - https://arxiv.org/abs/2307.04608
ID  - 2307.04608
ER  -