The task of algorithm selection involves choosing an algorithm from a se...
Instance-specific algorithm configuration and algorithm portfolios have ...
Complete tree search is a highly effective method for tackling MIP probl...
In recent years, portfolio approaches to solving SAT problems and CSPs h...