SAT (Selected Papers