MAXSAT
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Node Selection for Mixed-Integer Linear Programming | MAXSAT (transfer) | Nodes Explored160 | 6 | |
| Node Selection for Mixed-Integer Linear Programming | MAXSAT (test) | Nodes Explored102 | 6 |
Showing 2 of 2 rows