Working on solving Constraint Satisfaction Problems with the help of Machine Learning techniques.
Get in touch
2023, November, First-author Journal Article Published
Our paper Learning to select SAT Encodings for pseudo-Boolean and linear integer constraints has now been published in the Constraints journal. This paper was an extended version of the work presented at CP2022, with more encodings, more analysis and the first detailed description of Savile Row’s Tree SAT encoding. The expanded results, models and code are now at https://github.com/felixvuo/lease-data
2023, October, Guest Lecture in AI Masters Course
It was great to be back in front of a class, this time delivering a lecture on logic and inference to Masters students taking the FOAM (Foundations of Artificial Intelligence and Machine Learning) course at the University of York.
2023, September, Thesis Submitted
What a relief to finally submit my PhD thesis after four eventful years. I’m looking forward to picking up some of the research projects which were on hold while the write-up was completed. And of course awaiting the viva!
2022, September, Research Associate Position
I have been hired by the University of York to work as a research associate with Peter Nightingale in the field of constraint programming, initially part-time as I finish working on my PhD.
2022, August, Presenting Paper at CP2022 in Haifa
I was thrilled that our paper Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints was accepted to CP2022, and even shortlisted for the best paper award.
- Experimental data including constraint models and results are available at https://github.com/felixvuo/cp2022-pbli-sat
- Poster presented at the Doctoral Programme.
2021, October, CP2021 Doctoral Programme and ModRef Workshop
I am presenting my work in two guises: as part of the doctoral programme and also to the ModRef2021 workshop. You can get the slides and (pre)recording of the talks here:
- ModRef talk: slides, YouTube recording
- Doc Prog : slides, YouTube recording
2021, September, Associate Fellow of the HEA
After completing the York Professional and Academic Development scheme (YPAD) and submitting a report of my teaching-related experience I was awarded Associate Fellowship of the Higher Education Academy. As part of my report I carried out a brief investigation into using summative assessment results to inform teaching and assessment in the next cohort. Per-question breakdown of the marks allows some rudimentary statistical analysis which can shed light on how questions coudl be improved or which concepts and skills might be particularly difficult for students.
2021, August, The Bookshelves Problem
It was great to submit an optimisation problem to the CSPLib web site. It started with this tweet and it was fun to connect a real-life hands-on project with some constraint programming. The full problem specification, and model files are here.
2021, June, GTA of the Year Award
I was very honoured to receive this award after being a graduate teaching assistant, working particulary to help year 1 students with maths (after lockdown had deprived them of months of A-level maths), and also running some data science labs remotely.
2020, July and September, CP2020 Doctoral Programme
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.
2020, June, Eastern European Machine Learning Summer School
I’m very pleased to be attending this 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
2020, January, AI Group Seminars
I have taken over the organisation of the AI seminars in our department - looking forward to hearing all about what colleagues have been up to in their research.
2019, December, Literature Review Seminar
This is my first presentation as a PhD research student, given in month 3 of the programme. View it live on a 16:9 screen, with thanks to the amazing Sozi Project.
Here is the accompanying script for the presentation and the toy problem given out at the start.