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 pdobsan on Sunday May 19, 2019 @04:48PM (#19955434)
SAT, its extensions and SMT solvers are heavily used in bioinformatics. For example in genetics and for protein folding problems.
[ Parent | on HN ]

There are no comments on this comment yet.