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