publications
For the most up to date list of publications, see my papers on arXiv or Google Scholar.
2022
2021
2020
-
Predicting Propositional Satisfiability via End-to-End LearningProceedings of the AAAI Conference on Artificial Intelligence Apr 2020