News
05/2021
Our paper on online SMT solver selection was accepted for publication at at
SAT '21
07/2020
My report on MedleySolver was accepted as part of the
ASE '20
student research competition