ResearchDatasetsMAXSATMAXSATFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsNode Selection for Mixed-Integer Linear ProgrammingMAXSAT (transfer)160Nodes Explored6Node Selection for Mixed-Integer Linear ProgrammingMAXSAT (test)102Nodes Explored6