Hacker News new | ask | show | jobs
by gsnedders 132 days ago
What counts as “our cost”? How long it takes to find the MaxSAT?
1 comments
chaisan 132 days ago
the sum of the weights of the unsatistied clauses. we want to reduce this number
link