Meta-learning to Select the Best Metaheuristic for the MaxSAT Problem. - Souhila Sadeg; Leila Hamdad; Omar Kada; Karima Benatchba; Zineb Habbas (MISC, 2020)