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

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

160Nodes Explored

ORACLE

156.52180.01203.5226.99Oct 30, 2022
Updated 1mo ago

Evaluation Results

MethodLinks
2022.10
1608.9
2022.10
17112.9
2022.10
1719.1
2022.10
21510.8
2022.10
22510.7
2022.10
24712.1