Dennis Yurichev also wrote an awesome free book about creating SMT/SAT code to s... | Hacker News

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

jhncls on Sept 24, 2020 | parent | context | favorite | on: Mathematics for Programmers [pdf]

Dennis Yurichev also wrote an awesome free book about creating SMT/SAT code to solve real-world (and less real-world) problems.

[0] https://sat-smt.codes/

mhh__ on Sept 24, 2020 [–]

That's where I recognised the name from then.

Very illuminating book. Turning coffee into SAT solver is found in most CS books, using SAT to buy more coffee less so.

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