Neural heuristics for SAT solving. - Sebastian Jaszczur; Michal Luszczyk; Henryk Michalewski (CoRR, 2020)