Felix Ulrich-Oltean

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

Collaborative distances:

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

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