Cameron, Chris, Rex Chen, Jason Hartford, and Kevin Leyton-Brown. 2020. “Predicting Propositional Satisfiability via End-to-End Learning”. Proceedings of the AAAI Conference on Artificial Intelligence 34 (04):3324-31. https://doi.org/10.1609/aaai.v34i04.5733.