Y
Hacker News
new
|
ask
|
show
|
jobs
by
chaisan
85 days ago
the sum of the weights of the
unsatistied
clauses. we want to reduce this number