Active learning to optimise time-expensive algorithm selection

Riccardo Volpato, Guangyan Song

Hard optimisation problems such as Boolean Satisfiability typically have long solving times and can usually be solved by many algorithms, although the performance can vary widely i…