Items where authors include "Ulrich-Oltean, Felix"

Article

Ulrich-Oltean, Felix, 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. 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

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