News for hackers. Stuff that matters.

A comment on Modern SAT solvers: fast, neat and underused (2018). Parent comment

Re:Modern SAT solvers: fast, neat and underused (2018) by thomasahle on Friday May 26, 2023 @03:54PM (#36088795)
Isn't it just that Horn clauses are easy to understand, and they are guaranteed to be fast.
[ Parent | on HN ]

There are no comments on this comment yet.