Hacker News new | past | comments | ask | show | jobs | submit login
Effective problem solving using SAT solvers (arxiv.org)
5 points by sel1 35 days ago | hide | past | web | favorite | 1 comment



It's cool seeing this posted here, I authored this paper. The inspirational quote at the beginning was actually from a comment on a HN post a month ago: https://news.ycombinator.com/item?id=19953213




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: