Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)
Akgün, Ö., Frisch, A. M., Gent, I. P., Jefferson, C., Miguel, I. J. & Nightingale, P., 5 Apr 2023, (Accepted/In press) Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAIResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Learning When to Use Automatic Tabulation in Constraint Model Reformulation
Cena, C., Akgün, Ö., Kiziltan, Z., Miguel, I. J., Nightingale, P. & Ulrich-Oltean, F., 19 Apr 2023, (Accepted/In press) Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAIResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)
Bofill, M., Coll, J., Nightingale, P., Suy, J., Ulrich-Oltean, F. & Villaret, M., 5 Apr 2023, (Accepted/In press) Proceedings of the 32nd International Joint Conference on Artificial Intelligence. IJCAI/AAAIResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Projects
- 1 Active
-
Solver Feedback Loops for Automated Constraint Modelling
1/04/22 → 3/04/25
Project: Research project (funded) › Research