Research output per year
Research output per year
Search results
-
2025
TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 30 Mar 2025, In: Journal of Artificial Intelligence Research (JAIR). 82, p. 1999-2056 58 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2024
IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints
Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 30 Oct 2024, 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE Computer Society, 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2023
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 2 Nov 2023, In: Journal of Constraints. 28, p. 397-426 30 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
Cena, C., Akgün, Ö., Kiziltan, Z., Miguel, I. J., Nightingale, P. & Ulrich-Oltean, F., Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAI, p. 1902-1910 9 p. 211Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)
Bofill, M., Coll, J., Nightingale, P., Suy, J., Ulrich-Oltean, F. & Villaret, M., Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAI, p. 6853-6857 5 p. 769Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2022
Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile