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)
Felix Ulrich-Oltean, "Learning SAT Encodings for Constraint Satisfaction Problems", PhD Thesis, University of York, March 2024.
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.
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).
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.
Talk at IEEE International Conference on Tools with Artificial Intelligence, Herndon, Virginia, USA
Talk at Virtual, in place of Louvain-la-Neuve, Belgium, Online
Talk at EEML Summer School, Virtual (should have been Krakow), Online
Talk at Department of Computer Science, University of York, York, United Kingdom