| 2026 | AAAI | Faster Symmetry Breaking Constraints for Abstract Structures. | zgr Akgn, Mun See Chang, Ian P. Gent, Christopher Jefferson |
| 2026 | CP | On the Effect of Training Data Selection in Automated Algorithm Selection. | Erdem Kus, zgr Akgn, Nguyen Dang, Lars Kotthoff, Ian Miguel |
| 2025 | CP | Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation. | Alessio Pellegrino, zgr Akgn, Nguyen Dang, Zeynep Kiziltan, Ian Miguel |
| 2025 | CPAIOR | Breaking the Symmetries of Indistinguishable Objects. | zgr Akgn, Mun See Chang, Ian P. Gent, Christopher Jefferson |
| 2024 | CP | Frugal Algorithm Selection (Short Paper). | Erdem Kus, zgr Akgn, Nguyen Dang, Ian Miguel |
| 2023 | IJCAI | Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). | zgr Akgn, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2023 | IJCAI | Learning When to Use Automatic Tabulation in Constraint Model Reformulation. | Carlo Cena, zgr Akgn, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, Felix Ulrich-Oltean |
| 2022 | CP | A Framework for Generating Informative Benchmark Instances. | Nguyen Dang, zgr Akgn, Joan Espasa, Ian Miguel, Peter Nightingale |
| 2022 | CP | Understanding How People Approach Constraint Modelling and Solving. | Ruth Hoffmann, Xu Zhu, zgr Akgn, Miguel A. Nacenta |
| 2021 | CPAIOR | Finding Subgraphs with Side Constraints. | zgr Akgn, Jessica A. Enright, Christopher Jefferson, Ciaran McCreesh, Patrick Prosser, Steffen Zschaler |
| 2020 | CP | Effective Encodings of Constraint Programming Models to SMT. | Ewan Davidson, zgr Akgn, Joan Espasa, Peter Nightingale |
| 2020 | CPAIOR | Discriminating Instance Generation from Abstract Specifications: A Case Study with CP and MIP. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Patrick Spracklen, Christopher Stone |
| 2020 | ECAI | Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based Mining. | Gkberk Koak, zgr Akgn, Tias Guns, Ian Miguel |
| 2019 | CP | Instance Generation via Generator Instances. | zgr Akgn, Nguyen Dang, Ian Miguel, Andrs Z. Salamon, Christopher Stone |
| 2019 | CP | Automatic Streamlining for Constrained Optimisation. | Patrick Spracklen, Nguyen Dang, zgr Akgn, Ian Miguel |
| 2018 | CP | Metamorphic Testing of Constraint Solvers. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2018 | CP | Automatic Discovery and Exploitation of Promising Subproblems for Tabulation. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon |
| 2018 | CP | Automatic Generation and Selection of Streamlined Constraint Models via Monte Carlo Search on a Model Lattice. | Patrick Spracklen, zgr Akgn, Ian Miguel |
| 2018 | IJCAI | A Framework for Constraint Based Local Search using Essence. | zgr Akgn, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, Andrs Z. Salamon, Patrick Spracklen, James Wetter |
| 2018 | PAKDD | Using Metric Space Indexing for Complete and Efficient Record Linkage. | zgr Akgn, Alan Dearle, Graham N. C. Kirby, Peter Christen |
| 2016 | CP | Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. | zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
| 2015 | CP | Automatically Generating Streamlined Constraint Models with Essence and Conjure. | James Wetter, zgr Akgn, Ian Miguel |
| 2014 | CP | Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination. | Peter Nightingale, zgr Akgn, Ian P. Gent, Christopher Jefferson, Ian Miguel |