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

SAT solvers and the algorithms surrounding them are so much fun. I agree they are very unappreciated.

Shameless plug: I wrote a (admittedly very deriative) introduction with some examples I thought at the time were cool.

https://www.nhatcher.com/post/on-hats-and-sats/



Thanks that was quite informative, perfect for me.




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

Search: