4 ms·
What counts as “our cost”? How long it takes to find the MaxSAT?
by gsnedders 7mo ago
What counts as “our cost”? How long it takes to find the MaxSAT?
- chaisan 7mo agothe sum of the weights of the unsatistied clauses. we want to reduce this number