Cameron, C.; Chen, R.; Hartford, J.; Leyton-Brown, K. Predicting Propositional Satisfiability via End-to-End Learning. AAAI 2020, 34, 3324-3331.