Items where authors include "Ulrich-Oltean, Felix"

Article

Akgün, Özgür, Gent, Ian Philip, Jefferson, Christopher et al. (5 more authors) (2025) TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. Journal of Artificial Intelligence Research (JAIR). pp. 1999-2056. ISSN 1076-9757

Ulrich-Oltean, Felix orcid.org/0000-0001-5162-5826, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2023) Learning to select SAT encodings for pseudo-Boolean and linear integer constraints. Journal of Constraints. pp. 397-426. ISSN 1383-7133

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2022) SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints. Artificial Intelligence. 103604. ISSN 0004-3702

Proceedings Paper

Dang, Nguyen, Gent, Ian Philip, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (2 more authors) (2025) Constraint Models for Klondike. In: 31st International Conference on Principles and Practice of Constraint Programming (CP 2025):. 31st International Conference on Principles and Practice of Constraint Programming, 10-15 Aug 2025, University of Glasgow. LIPICS , GBR .

Prümm, Michael, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Ulrich-Oltean, Felix orcid.org/0000-0001-5162-5826 (2025) Scheduling Telescope Observations for the European Southern Observatory. In: 31st International Conference on Principles and Practice of Constraint Programming (CP 2025):. 31st International Conference on Principles and Practice of Constraint Programming, 10-15 Aug 2025, University of Glasgow. LIPICS , GBR .

Ulrich-Oltean, Felix orcid.org/0000-0001-5162-5826, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2024) IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints. In: 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE International Conference on Tools with Artificial Intelligence, 28-30 Oct 2024. IEEE Computer Society , USA .

Cena, Carlo, Akgün, Özgür, Kiziltan, Zeynep et al. (3 more authors) (2023) Learning When to Use Automatic Tabulation in Constraint Model Reformulation. In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, 19-25 Aug 2023. IJCAI/AAAI , MAC , pp. 1902-1910.

Bofill, Miquel, Coll, Jordi, Nightingale, Peter orcid.org/0000-0002-5052-8634 et al. (3 more authors) (2023) SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract). In: Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI 2023, the 32nd International Joint Conference on Artificial Intelligence, 19-25 Aug 2023. IJCAI/AAAI , MAC , pp. 6853-6857.

Ulrich-Oltean, Felix orcid.org/0000-0001-5162-5826, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2022) Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). UNSPECIFIED. Leibniz International Proceedings in Informatics (LIPIcs) . LIPICS .