Hacker News new | ask | show | jobs
by pkoird 281 days ago
imo this is the pdf that many people like me used to learn SAT/SMT.