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 c-cube on Friday May 26, 2023 @12:58PM (#36086759)
The difficulty is which variables to pick so that all subspaces are of comparable difficulty. Cube and conquer is a nice paper on that problem.
[ Parent | on HN ]

There are no comments on this comment yet.