What counts as “our cost”? How long it takes to find the MaxSAT?
the sum of the weights of the unsatistied clauses. we want to reduce this number
alt Hacker News
the sum of the weights of the unsatistied clauses. we want to reduce this number