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 est31 on Sunday May 19, 2019 @11:30AM (#19953749)
Great talk by Kathleen Fisher on this topic. Also mentions SAT solvers. https://youtu.be/TH0tDGk19_c
[ Parent | on HN ]

There are no comments on this comment yet.