Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

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

102Nodes Explored

ORACLE

99119.25139.5159.75Oct 30, 2022
Updated 1mo ago

Evaluation Results

MethodLinks
2022.10
1026.17
2022.10
1176.66
2022.10
1479.26
2022.10
1507.34
2022.10
1577.76
2022.10
1778.16