Harnessing tractability in constraint satisfaction problems(ACP Doctoral excellence award 2017)
Search, propagation, and learning in sequencing and scheduling problems (EurAI best thesis award 2016 -- honourable mention)
