Talk, IEEE International Conference on Tools with Artificial Intelligence, Herndon, Virginia, USA
I am presenting our paper IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints at ICTAI2024. This paper is a concise preview of the final chapter of my PhD thesis, attempting to select different encodings for each individual constraint in a combinatorial problem. It will be exciting to make my first ever trip to the USA too.
Talk, Virtual, in place of Louvain-la-Neuve, Belgium, Online
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.
Talk, EEML Summer School, Virtual (should have been Krakow), Online
I’m very pleased to be attending Eastern European Machine Learning summer school in July (shame it couldn’t be in the flesh in Warsaw). As part of the application / registration process I prepared a short video presentation to summarise my research interest. Watch it here.
Talk, Department of Computer Science, University of York, York, United Kingdom
This is my first presentation as a PhD research student, given in month 3 of the programme. The presentation introduced the field of constraint programming, the idea of encoding to Boolean SAT and how some of the choices involved in the process could be made using machine learning.