News for hackers. Stuff that matters.

A comment on The Silent (R)evolution of SAT. Parent comment

Re:The Silent (R)evolution of SAT by sanxiyn on Friday May 26, 2023 @01:14AM (#36080239)
You may want to read "A Time Leap Challenge for SAT Solving". It's just a really fun paper: https://arxiv.org/abs/2008.02215
[ Parent | on HN ]

There are no comments on this comment yet.