Hacker News new | ask | show | jobs
by throwaway81523 275 days ago
This is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf
1 comments
pkoird 275 days ago
imo this is the pdf that many people like me used to learn SAT/SMT.
link