 Competition-winning systems in SAT are SATzilla, 3S and CSHC

In machine learning, algorithm selection is better known as meta-learning.The portfolio of algorithms consists of machine learning algorithms (e.g., Random Forest, SVM, DNN), the instances are data sets and the cost metric is for example the error rate.So, the goal is to predict which machine learning algorithm will have a small error on each data set.