Project Details
| Acronym | EPSRC: Watched Literals and Learning |
|---|---|
| Status | Finished |
| Effective start/end date | 1/07/07 → 31/03/11 |
Funding
- EPSRC: £378,826.73
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.
-
A review of literature on parallel constraint solving
Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C., Sept 2018, In: Theory and Practice of Logic Programming. 18, 5-6, p. 725-758 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Generating custom propagators for arbitrary constraints
Gent, I. P., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., Jun 2014, In: Artificial Intelligence. 211, p. 1-33 33 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Exploiting short supports for generalised arc consistency for arbitrary constraints
Nightingale, P., Gent, I. P., Jefferson, C. A. & Miguel, I. J., 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011): Barcelona, Catalonia, Spain, July 16-22, 2011. Walsh, T. (ed.). Menlo Park, California: IJCAI/AAAI, p. 623-628 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution