64 citations · 134 across the 24 of their papers we have counts for
4 papers · 1 filter
Efficient Incremental Modelling and Solving
Gökberk Koçak, Özgür Akgün, Nguyen Dang +1
In various scenarios, a single phase of modelling and solving is either not sufficient or not feasible to solve the problem at hand. A standard approach to solving AI planning prob…
Exploring Instance Generation for Automated Planning
Özgür Akgün, Nguyen Dang, Joan Espasa +3
Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms. Constra…
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem
Patrick Spracklen, Nguyen Dang, Özgür Akgün +1
Augmenting a base constraint model with additional constraints can strengthen the inferences made by a solver and therefore reduce search effort. We focus on the automatic addition…
Enumeration of set-theoretic solutions to the Yang-Baxter equation
Ö. Akgün, M. Mereb, L. Vendramin
We use Constraint Satisfaction methods to enumerate and construct set-theoretic solutions to the Yang-Baxter equation of small size. We show that there are 321931 involutive soluti…