4 ms·
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/ http
by jhncls 6y ago
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/ https://sat-smt.codes/
- mhh__ 6y agoThat'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.