Research output per year
Research output per year
Project Details
| Acronym | University Research Fellowship 2013 |
|---|---|
| Status | Finished |
| Effective start/end date | 1/10/13 → 30/09/18 |
Funding
- The Royal Society: £425,944.06
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
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