News for hackers. Stuff that matters.

A comment on Solving SAT via Positive Supercompilation. Parent comment

Re:Solving SAT via Positive Supercompilation by Hirrolot on Friday February 02, 2024 @01:56AM (#39225879)
Haha, awesome!
[ Parent | on HN ]

There are no comments on this comment yet.