research
∙
02/23/2023
Using Automated Algorithm Configuration for Parameter Control
Dynamic Algorithm Configuration (DAC) tackles the question of how to aut...
share
research
∙
05/30/2022
A portfolio-based analysis method for competition results
Competitions such as the MiniZinc Challenges or the SAT competitions hav...
research
∙
05/29/2022
A Framework for Generating Informative Benchmark Instances
Benchmarking is an important tool for assessing the relative performance...
research
∙
02/07/2022
Theory-inspired Parameter Control Benchmarks for Dynamic Algorithm Configuration
It has long been observed that the performance of evolutionary algorithm...
research
∙
09/23/2020
Efficient Incremental Modelling and Solving
In various scenarios, a single phase of modelling and solving is either ...
research
∙
09/21/2020
Exploring Instance Generation for Automated Planning
Many of the core disciplines of artificial intelligence have sets of sta...
research
∙
09/21/2020
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem
Augmenting a base constraint model with additional constraints can stren...
research
∙
04/09/2019
