Felix Ulrich-Oltean

12 papers A* 2A 3B 1Journal 6
YearRankTypeTitle / Venue / Authors
2025 A conf
Constraint Models for Klondike.
CP
Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller
2025 A conf
Scheduling Telescope Observations for the European Southern Observatory (Short Paper).
CP
Michael Prümm, Peter Nightingale, Felix Ulrich-Oltean
2025 J jnl
TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models.
J. Artif. Intell. Res.
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2024 B conf
IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints.
ICTAI
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2023 A* conf
Learning When to Use Automatic Tabulation in Constraint Model Reformulation.
IJCAI
Carlo Cena, Özgür Akgün, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean
2023 J jnl
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.
CoRR
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2023 J jnl
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints.
Constraints An Int. J.
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2023 A* conf
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract).
IJCAI
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2022 J jnl
Automatic Tabulation in Constraint Models.
CoRR
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
2022 J jnl
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints.
Artif. Intell.
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret
2022 A conf
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.
CP
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
2021 J jnl
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints.
CoRR
Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret