alt
Hacker News
chaisan
•
today at 4:08 AM
•
0 replies
•
view on HN
the sum of the weights of the
unsatistied
clauses. we want to reduce this number
alt Hacker News