Research output per year
Research output per year
Search results
-
2018
Automatic discovery and exploitation of promising subproblems for tabulation
Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 11008).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Complexity of n-Queens completion (extended abstract)
Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Metamorphic testing of constraint solvers
Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 727-736 (Lecture Notes in Computer Science; vol. 11008).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2017
Automatically improving constraint models in Savile Row
Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. & Spracklen, P., Oct 2017, In: Artificial Intelligence. 251, p. 35-61 27 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Complexity of n-Queens Completion
Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 30 Aug 2017, In: Journal of Artificial Intelligence Research. 59, p. 815-848 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2016
Exploiting short supports for improved encoding of arbitrary constraints into SAT
Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 9892).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile