#G-RRM

这篇论文用神经网络给经典求解器指路，数独上回溯法提速33倍，但CaDiCaL不听话就没用，挺挑场景的。