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.

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact