Research output per year
Research output per year
Search results
-
2023
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 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