Solver Feedback Loops for Automated Constraint Modelling

Project: Research project (funded) › Research

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

Approximating Problems in Abstract Argumentation with Graph Convolutional Networks
Malmqvist, L., Yuan, T. & Nightingale, P., Nov 2024, In: Artificial Intelligence. 336, 21 p., 104209.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Cross-Paradigm Modelling: A Study of Puzznic
Espasa, J., Gent, I. P., Miguel, I., Nightingale, P., Salamon, A. Z. & Villaret, M., 30 Oct 2024, 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE Computer Society, 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
IndiCon: Selecting SAT Encodings for Individual Pseudo-Boolean and Linear Integer Constraints
Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 30 Oct 2024, 2024 IEEE 36th International Conference on Tools with Artificial Intelligence. IEEE Computer Society, 7 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Project Details