A survey of methods for automated algorithm configuration

E Schede, J Brandt, A Tornede, M Wever… - Journal of Artificial …, 2022 - jair.org
Algorithm configuration (AC) is concerned with the automated search of the most suitable
parameter configuration of a parametrized algorithm. There is currently a wide variety of AC …

[HTML][HTML] Automated streamliner portfolios for constraint satisfaction problems

P Spracklen, N Dang, Ö Akgün, I Miguel - Artificial Intelligence, 2023 - Elsevier
Constraint Programming (CP) is a powerful technique for solving large-scale combinatorial
problems. Solving a problem proceeds in two distinct phases: modelling and solving …

A framework for generating informative benchmark instances

N Dang, Ö Akgün, J Espasa, I Miguel… - arXiv preprint arXiv …, 2022 - arxiv.org
Benchmarking is an important tool for assessing the relative performance of alternative
solving approaches. However, the utility of benchmarking is limited by the quantity and …

Discriminating instance generation from abstract specifications: A case study with CP and MIP

Ö Akgün, N Dang, I Miguel, AZ Salamon… - Integration of Constraint …, 2020 - Springer
We extend automatic instance generation methods to allow cross-paradigm comparisons.
We demonstrate that it is possible to completely automate the search for benchmark …

[HTML][HTML] DIGNEA: A tool to generate diverse and discriminatory instance suites for optimisation domains

A Marrero, E Segredo, C León, E Hart - SoftwareX, 2023 - Elsevier
To advance research in the development of optimisation algorithms, it is crucial to have
access to large test-beds of diverse and discriminatory instances from a domain that can …

Towards optimisers thatKeep Learning'

E Hart, I Miguel, C Stone, Q Renau - Proceedings of the Companion …, 2023 - dl.acm.org
We consider optimisation in the context of the need to apply an optimiser to a continual
stream of instances from one or more domains, and consider how such a system might'keep …

Towards portfolios of streamlined constraint models: a case study with the balanced academic curriculum problem

P Spracklen, N Dang, Ö Akgün, I Miguel - arXiv preprint arXiv:2009.10152, 2020 - arxiv.org
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 …

Automatic streamlining for constrained optimisation

P Spracklen, N Dang, Ö Akgün, I Miguel - Principles and Practice of …, 2019 - Springer
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 …

Streamlined constraint reasoning: an automated approach from high level constraint specifications

P Spracklen - 2022 - research-repository.st-andrews.ac …
Constraint Programming (CP) is a powerful technique for solving large-scale combinatorial
(optimisation) problems. Solving a problem proceeds in two distinct phases: modelling and …

Exploring instance generation for automated planning

Ö Akgün, N Dang, J Espasa, I Miguel… - arXiv preprint arXiv …, 2020 - arxiv.org
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 …