CV

Education

• Ph.D in Version Control Theory, GitHub University, 2018 (expected)
• M.S. in Jekyll, GitHub University, 2014
• B.S. in GitHub, GitHub University, 2012

Work experience

• Spring 2024: Academic Pages Collaborator
  • Github University
  • Duties includes: Updates and improvements to template
  • Supervisor: The Users
• Fall 2015: Research Assistant
  • Github University
  • Duties included: Merging pull requests
  • Supervisor: Professor Hub
• Summer 2015: Research Assistant
  • Github University
  • Duties included: Tagging issues
  • Supervisor: Professor Git

Skills

• Skill 1
• Skill 2
  • Sub-skill 2.1
  • Sub-skill 2.2
  • Sub-skill 2.3
• Skill 3

Publications

Verifying Properties of State-Based Models Using Constraint Programming

Victoria Johnson, Pedro Ribeiro, Simon Foster, Peter Nightingale, Felix Ulrich-Oltean, "Verifying Properties of State-Based Models Using Constraint Programming", Rigorous State-Based Methods: 12th International Conference (ABZ 2026), https://doi.org/10.1007/978-3-032-26752-8_6

Constraint Models for Klondike

Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller, "Constraint Models for Klondike", 31st International Conference on Principles and Practice of Constraint Programming (CP 2025)

Scheduling Telescope Observations for the European Southern Observatory

Michael Prümm, Peter Nightingale, Felix Ulrich-Oltean, "Scheduling Telescope Observations for the European Southern Observatory", 31st International Conference on Principles and Practice of Constraint Programming (CP 2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

Akgün, Özgür, Ian Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Salamon, and Felix Ulrich-Oltean. "TabID: automatic identification and tabulation of subproblems in constraint models." Journal of Artificial Intelligence Research 82 (2025): 1999-2056.

IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints

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)

Learning SAT Encodings for Constraint Satisfaction Problems

Felix Ulrich-Oltean, "Learning SAT Encodings for Constraint Satisfaction Problems", PhD Thesis, University of York, March 2024.

Learning When to Use Automatic Tabulation in Constraint Model Reformulation

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.

Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

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).

SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

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.

Talks

Presenting IndiCon at ICTAI2024

October 28, 2024

Talk at IEEE International Conference on Tools with Artificial Intelligence, Herndon, Virginia, USA

Learning to Select SAT Encodings for Constraints

September 07, 2020

Talk at Virtual, in place of Louvain-la-Neuve, Belgium, Online

Research Topic Intro for EEML2020

July 01, 2020

Talk at EEML Summer School, Virtual (should have been Krakow), Online

Literature Review Seminar

December 11, 2019

Talk at Department of Computer Science, University of York, York, United Kingdom

Teaching

AI Problem Solving with Search and Logic (AIPS)

Foundations of AI and ML (FOAM)

AI Problem Solving with Search and Logic (AIPS)

Foundations of AI and ML (FOAM)

Graduate Teaching Assistant for various AI & Data Science courses

A-level Maths and Further Maths

Service and leadership

• Currently signed in to 43 different slack teams