Felix Ulrich-Oltean

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 8

Top Topics

Combinatorial Problems

Integer Linear Programming

Top Venues

Constraints An Int. J.

Publications

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. IJCAI (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 (Extended Abstract). IJCAI (2023)
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. Constraints An Int. J. 28 (3) (2023)
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. CoRR (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. Artif. Intell. 302 (2022)
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. CP (2022)
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
Automatic Tabulation in Constraint Models. CoRR (2022)
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. CoRR (2021)