C. Cameron, R. Chen, J. Hartford, and K. Leyton-Brown, “Predicting Propositional Satisfiability via End-to-End Learning”, AAAI, vol. 34, no. 04, pp. 3324-3331, Apr. 2020.