Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. - Felix Ulrich-Oltean; Peter Nightingale; James Alfred Walker (CP, 2022)

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 (Artif. Intell., 2022)

Automatic Tabulation in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (CoRR, 2022)

SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). - Miquel Bofill; Jordi Coll; Peter Nightingale; Josep Suy; Felix Ulrich-Oltean; Mateu Villaret (IJCAI, 2023)

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 (IJCAI, 2023)

Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. - Felix Ulrich-Oltean; Peter Nightingale; James Alfred Walker (Constraints An Int. J., 2023)

IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints. - Felix Ulrich-Oltean; Peter Nightingale; James Alfred Walker (ICTAI, 2024)

Constraint Models for Klondike. - Nguyen Dang 001; Ian P. Gent; Peter Nightingale; Felix Ulrich-Oltean; Jack Waller (CP, 2025)

Scheduling Telescope Observations for the European Southern Observatory (Short Paper). - Michael Prümm; Peter Nightingale; Felix Ulrich-Oltean (CP, 2025)

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. - Özgür Akgün; Ian P. Gent; Christopher Jefferson; Zeynep Kiziltan; Ian Miguel; Peter Nightingale; András Z. Salamon; Felix Ulrich-Oltean (J. Artif. Intell. Res., 2025)