HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by gsnedders | Hacker News Reader
Full thread
gsnedders
·
What counts as “our cost”? How long it takes to find the MaxSAT?
View on HN
chaisan
·
the sum of the weights of the
unsatistied
clauses. we want to reduce this number
Reply on news.ycombinator.com