News for hackers. Stuff that matters.

A comment on Solving SAT via Positive Supercompilation. Parent comment

Re:Solving SAT via Positive Supercompilation by pixelpoet on Friday February 02, 2024 @12:25AM (#39225377)
I love that the favicon for the 2023 results is a Doge, lol: https://satcompetition.github.io/2023/results.html
[ Parent | on HN ]
Re:Solving SAT via Positive Supercompilation by Hirrolot on Friday February 02, 2024 @01:56AM (#39225879)
Haha, awesome!
[ Parent | on HN ]