Ah I thought initially that these were solving SAT questions. Easy to make mista... | Hacker News

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

		hackernewds on May 26, 2023 \| parent \| context \| favorite \| on: Modern SAT solvers: fast, neat and underused (2018... Ah I thought initially that these were solving SAT questions. Easy to make mistake, or perhaps just me.

balls187 on May 26, 2023 [–]

No, I also had no idea about this type of problem and immediately thought this article was about the placement tests administered in the US.

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