Ulrich-Oltean, Felix

3 publications

JAIR 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

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