Im on my phone so will have to just dump links. Just found these in DuckDuckGo: ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

nickpsecurity on May 19, 2019 | parent | context | favorite | on: Modern SAT solvers: fast, neat and underused

Im on my phone so will have to just dump links. Just found these in DuckDuckGo:

https://sites.google.com/site/marcthurley/sharpsat

http://www.ii.uib.no/~telle/bib/STV15.pdf

http://www.cs.toronto.edu/~fbacchus/Papers/DBaaai07.pdf

https://github.com/dfremont/maxcount

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact