Project Details
| Acronym | Modelling and Optimisation with Graphs |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/17 → 31/10/20 |
Funding
- EPSRC: £255,921.32
Fingerprint
-
TabID: automatic identification and tabulation of subproblems in constraint models
Akgun, O., Gent, I. P., Jefferson, C. A., Kiziltan, Z., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 30 Mar 2025, In: Journal of Artificial Intelligence Research. 82, p. 1999-2056 58 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Automated streamliner portfolios for constraint satisfaction problems
Spracklen, J. L. P. J., Dang, N., Akgun, O. & Miguel, I. J., 1 Jun 2023, In: Artificial Intelligence. 319, 24 p., 103915.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
CONJURE: Automatic generation of constraint models from problem specifications (extended abstract)
Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. & Nightingale, P., 19 Aug 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023). Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 6833-6838 6 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2023-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Datasets
-
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
-
Experimental Data for TabID Journal Paper
Akgün, Ö. (Creator), Gent, I. (Creator), Jefferson, C. (Creator), Kiziltan, Z. (Creator), Miguel, I. (Creator), Nightingale, P. (Creator), Salamon, A. Z. (Creator), Ulrich-Oltean, F. (Creator) & Ulrich-Oltean, F. (Contributor), University of York, 28 Jan 2025
DOI: 10.15124/c24d61e6-ee25-40ed-828d-b941158f862f
Dataset