TC1: Advances in Algorithm Selection and Configuration for Constraint Solving and Satisfiability
Tutorialists: Lars Kotthoff, Yuri Malitksy and Barry O’Sullivan
Sunday, August 4th, morning
The algorithm selection problem is to choose the most suitable algorithm for solving a particular problem instance. Algorithm configuration is a related study of automatically setting the parameters of an algorithm to maximize performance. This tutorial will introduce ways of tackling both problems in practice and explains approaches and techniques used in the literature.