Ian P. Gent — accepted AI-conference papers

2026

Faster Symmetry Breaking Constraints for Abstract Structures

Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson

AAAI 2026technical

In constraint programming and related paradigms, a modeller specifies their problem in a modelling language for a solver to search and return its solution(s). Using high-level modelling languages such as ESSENCE, a modeller may express their problems in terms of abstract structures. These are struct

Cited by 0 Source ↗PDF ↗Scholar ↗

2023

Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract)

Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale

IJCAI 2023poster

When solving a combinatorial problem, the formulation or model of the problem is critical to the efficiency of the solver. Automating the modelling process has long been of interest given the expertise and time required to develop an effective model of a particular problem. We describe a method to a…

Cited by 0 Source ↗PDF ↗code ↗Scholar ↗