SAT (Selected Papers)