Re:Modern SAT solvers: fast, neat and underused
by nickpsecurity on Sunday May 19, 2019 @12:29PM
(#19954085)
I think it was this year I learned they exist. They told me a few to check out. I still don't have a list of applications. What areas were you thinking about when you said underused?
[ Parent
| on HN ]
There are no comments on this comment yet.