Cameron, C., R. Chen, J. Hartford, and K. Leyton-Brown. “Predicting Propositional Satisfiability via End-to-End Learning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 04, Apr. 2020, pp. 3324-31, doi:10.1609/aaai.v34i04.5733.