Learning to Select SAT Encodings for Constraints
Date:
As part of the doctoral programme at the CP2020 conference on Constraint Progamming, I submitted a short paper to describe my research so far and took part in peer-review with other PhD students, going through the EasyChair platform to submit, review, discuss.
At the conference I gave a 10-minute presentation about my research topic. You can access the slides here and watch the presentation here.