Automated Algorithm Design

We are dealing with meta-algorithmic problems, such as automatic (hyper-) parameter optimization of algorithms and automatic selection of algorithms for instances at hand. We apply our state-of-the-art tools to different domains, such as machine learning, mixed integer programming or satisfiability solving.