1. 13
  1. 6

    I’ve skimmed through an earlier version and have started on this one, this is a wonderful resource filling a yawning chasm of approachable tutorials on SAT/SMT. The scholarly literature is huge on SAT/SMT and while there are books they tend to grad student level exposition. I’m feeling like this is going to be a precursor to a nostarch text relatively soon enough given the increasing interest in the subject.