Hacker News new | past | comments | ask | show | jobs | submit login

Fun fact, also "hard" in this title is a formally defined term.



Exactly what clued me in. It's an NP-Hard problem so "Sat" + "hard" are inextricably linked in my brain.


That's what I meant.




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

Search: