1 citations · 1 across the 4 of their papers we have counts for
4 papers · 1 filter
A portfolio-based analysis method for competition results
Nguyen Dang
Competitions such as the MiniZinc Challenges or the SAT competitions have been very useful sources for comparing performance of different solving approaches and for advancing the s…
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…