News for hackers. Stuff that matters.
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?

There are no comments on this comment yet.