Professional Documents
Culture Documents
Output
Output
Output
SAT
p
3SAT
COLORING
SET COVER CLIQUE SUBSET SUM SIMPLE MAX CUT
VERTEX COVER PARTITION
BALANCED PARTITION
STEINER TREEBIN PACKING ILP
KNAPSACK