I am recruiting multiple 1-3 year postdocs to work on the AutoCS project. I am looking for at least one expert in constraint satisfaction (SAT/SMT/ASP/CSP). If interested, please email me.
Publications
Journals
Conferences
Theses
Selected talks