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