Follow
Felix Ulrich-Oltean
Title
Cited by
Cited by
Year
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
M Bofill, J Coll, P Nightingale, J Suy, F Ulrich-Oltean, M Villaret
Artificial Intelligence 302, 103604, 2022
72022
Selecting SAT encodings for pseudo-boolean and linear integer constraints
F Ulrich-Oltean, P Nightingale, JA Walker
28th International Conference on Principles and Practice of Constraint …, 2022
62022
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
F Ulrich-Oltean, P Nightingale, JA Walker
Constraints 28 (3), 397-426, 2023
12023
Automatic tabulation in constraint models
Ö Akgün, IP Gent, C Jefferson, Z Kiziltan, I Miguel, P Nightingale, ...
arXiv preprint arXiv:2202.13250, 2022
12022
Selecting SAT Encodings for Pseudo-Boolean and Linear Constraints: Preliminary Results
F Ulrich-Oltean, P Nightingale, JA Walker
October, 2021
12021
Learning when to use automatic tabulation in constraint model reformulation
C Cena, O Akgun, Z Kiziltan, IJ Miguel, P Nightingale, F Ulrich-Oltean
Proceedings of the 32nd International Joint Conference on Artificial …, 2023
2023
Learning SAT Encodings for Constraint Satisfaction Problems
F Ulrich-Oltean
University of York, 2023
2023
SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints
M Bofill Arasa, J Coll Caballero, P Nightingale, J Suy Franch, ...
© Artificial Intelligence, 2022, vol. 302, art. núm. 103604, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–8