List your company
ResearchFormerly WizWand

Node Selection for Mixed-Integer Linear Programming on MAXSAT (test)

102Nodes ExploredORACLE
99119.25139.5159.75Oct 30, 2022
Updated 8mo ago

Evaluation results

MethodLinks
ORACLE2022.101026.17
GNN2022.101176.66
SCIP2022.101479.26
SVM2022.101507.34
MLP2022.101577.76
ESTIMATE2022.101778.16