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