University Research Fellowship 2013

Jefferson, Christopher (PI)

School of Computer Science

Project: Fellowship

Acronym	University Research Fellowship 2013
Status	Finished
Effective start/end date	1/10/13 → 30/09/18

Funding

The Royal Society: £425,944.06

4 Conference contribution
2 Article

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

Automatic discovery and exploitation of promising subproblems for tabulation (dataset)
Akgun, O. (Creator), Gent, I. P. (Creator), Jefferson, C. A. (Creator), Miguel, I. J. (Creator), Nightingale, P. W. (Creator) & Salamon, A. Z. (Creator), GitHub, 3 Jul 2018
https://github.com/stacs-cp/cp2018-tabulation
Dataset