Solver Feedback Loops for Automated Constraint Modelling

Nightingale, Peter (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Status	Active
Effective start/end date	1/04/22 → 21/09/25

Funding

EPSRC: £307,728.32

7 Conference contribution
5 Article

Athanor: Local Search over Abstract Constraint Specifications
Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 1 Mar 2025, In: Artificial Intelligence. 340, 39 p., 104277.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Constraint Models for Klondike
Dang, N., Gent, I. P., Nightingale, P., Ulrich-Oltean, F. & Waller, J., 15 Aug 2025, 31st International Conference on Principles and Practice of Constraint Programming (CP 2025). LIPICS, 20 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Scheduling Telescope Observations for the European Southern Observatory
Prümm, M., Nightingale, P. & Ulrich-Oltean, F., 15 Aug 2025, 31st International Conference on Principles and Practice of Constraint Programming (CP 2025). LIPICS, 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

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), University of York, 28 Jan 2025
DOI: 10.15124/c24d61e6-ee25-40ed-828d-b941158f862f
Dataset
Dataset for: Scheduling Telescope Observations for the European Southern Observatory
Prümm, M. (Creator), Nightingale, P. (Creator) & Ulrich-Oltean, F. (Creator), University of York, 5 Jun 2025
DOI: 10.15124/30f68e66-acf8-44a2-ae49-54b79381c498
Dataset