Real-time solving of computationally hard problems using optimal algorithm portfolios. - Yair Nof; Ofer Strichman (Ann. Math. Artif. Intell., 2021)