News for hackers. Stuff that matters.

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

Re:Modern SAT solvers: fast, neat and underused by oldgradstudent on Sunday May 19, 2019 @12:41PM (#19954134)
Heavily used in hardware design and verification.

Equivalence checking, logic synthesis and optimisation, formal verification, etc.

[ Parent | on HN ]

There are no comments on this comment yet.