Felix Ulrich-Oltean

According to our database, Felix Ulrich-Oltean authored at least 11 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Verifying Properties of State-Based Models Using Constraint Programming.

Victoria Johnson, Pedro Ribeiro, Simon Foster, Peter Nightingale, Felix Ulrich-Oltean

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

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

Scheduling Telescope Observations for the European Southern Observatory (Short Paper).

Michael Prümm, Peter Nightingale, Felix Ulrich-Oltean

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Constraint Models for Klondike.

Nguyen Dang, Ian P. Gent, Peter Nightingale, Felix Ulrich-Oltean, Jack Waller

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

2024

IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints.

Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker

Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence, 2024

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., September, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

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.

Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

Artif. Intell., 2022

Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.

Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022