Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
Published in Artificial Intelligence, 2021
A thorough presentation of SAT encodings for pseudo-boolean constraints optimised for the existence of at-most-one constraints on the variables in their scope. The first paper I was able to contribute to during my PhD.
Recommended citation: Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret, "SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints", Artificial Intelligence, Volume 302, 2022, 103604, ISSN 0004-3702. https://doi.org/10.1016/j.artint.2021.103604
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Published in Constraints, 2021
Extended journal version of the work in the first two technical chapters of my PhD thesis
Recommended citation: Felix Ulrich-Oltean, Peter Nightingale & James A. Walker, "Learning to select SAT encodings for pseudo-Boolean and linear integer constraints". Constraints 28, 397–426 (2023). https://doi.org/10.1007/s10601-023-09364-1
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
Published in Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence , 2023
Using ML strategies to decide whether to reformulate parts of constraint models as table constraints.
Recommended citation: Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean, "Learning When to Use Automatic Tabulation in Constraint Model Reformulation", Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence Main Track. Pages 1902-1910. https://doi.org/10.24963/ijcai.2023/211
Learning SAT Encodings for Constraint Satisfaction Problems
Published in White Rose E-theses Repository, 2024
My PhD thesis on using ML to select SAT encodings for constraints
Recommended citation: Felix Ulrich-Oltean, "Learning SAT Encodings for Constraint Satisfaction Problems", PhD Thesis, University of York, March 2024. https://etheses.whiterose.ac.uk/34581/
IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints
Published in Proceedings of the 36th International Conference on Tools with Artificial Intelligence (ICTAI 2024) , 2024
Learning to select SAT encodings for individual constraints in a CSP instance.
Recommended citation: Felix Ulrich-Oltean, Peter Nightingale, James A. Walker, "IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints", Proceedings of the 36th International Conference on Tools with Artificial Intelligence (ICTAI 2024) https://pure.york.ac.uk/portal/en/publications/indicon-selecting-sat-encodings-for-individual-pseudo-boolean-and
talks
Literature Review Seminar
Published:
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.
Research Topic Intro for EEML2020
Published:
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.
Learning to Select SAT Encodings for Constraints
Published:
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.
Presenting IndiCon at ICTAI2024
Published:
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.
teaching
A-level Maths and Further Maths
High School, Allerton High School, 2019
I taught maths to high-school students of ages 11-19 for 14 years (2005 to 2019).
Graduate Teaching Assistant for various AI & Data Science courses
GTA on UG Programme, Department of Computer Science, University of York, 2020
During my PhD, I was a graduate teaching assistant (GTA) in a number of courses - my work ranged from providing support to students in person during a practical lab session, to leading zoom-based online lab sessions during the Covid19 pandemic, to marking exams and even carrying out one-to-one maths support sessions for students who had gaps in A-level topics due to schooling missed during the lockdowns.
Foundations of AI and ML (FOAM)
Masters Course, Department of Computer Science, University of York, 2023
I gave a guest 1 hour lecture on Logics in week 3 of this Master’s level course, and assisted in the 1 hour seminar and 2 hour lab. The week introduced ideas around:
AI Problem Solving with Search and Logic (AIPS)
Masters Course, Department of Computer Science, University of York, 2024
I co-taught this module which covered search algorithms, game theory and constraint programming. I was responsible for writing and delivering half of the material, ranging across lectures, labs, formative quizzes and final exams.
Foundations of AI and ML (FOAM)
Masters Course, Department of Computer Science, University of York, 2024
I presented the whole week on Logics for this Master’s level course, including the lecture, seminar and lab. As in last year’s version, this week focussed on: