News for hackers. Stuff that matters.

A comment on Solving SAT via Positive Supercompilation. Parent comment

Re:Solving SAT via Positive Supercompilation by NooneAtAll3 on Thursday February 01, 2024 @04:58PM (#39222040)
sad that SAT competition still hasn't moved from 00s and still is on http

SAT conferences aren't on youtube either :(

[ Parent | on HN ]

There are no comments on this comment yet.