ResearchBenchmarksNode Selection for Mixed-Integer Linear Programming on MAXSAT (transfer)Follow160Nodes ExploredORACLE156.52180.01203.5226.99Oct 30, 2022Evaluation ResultsMethodMethodLinksNodes ExploredTime (s)ORACLE2022.101608.9SCIP2022.1017112.9GNN2022.101719.1MLP2022.1021510.8SVM2022.1022510.7ESTIMATE2022.1024712.1