ResearchBenchmarksNode Selection for Mixed-Integer Linear Programming on MAXSAT (test)Follow102Nodes ExploredORACLE99119.25139.5159.75Oct 30, 2022Evaluation ResultsMethodMethodLinksNodes ExploredTime Taken (s)ORACLE2022.101026.17GNN2022.101176.66SCIP2022.101479.26SVM2022.101507.34MLP2022.101577.76ESTIMATE2022.101778.16