Hacker News new | ask | show | jobs
by bmc7505 1116 days ago
That’s SATComp, I was talking about the MAXSAT competition.