SAT deals with Boolean variables only, while SMT extends SAT to include variables and constraints from different theories like arithmetic, arrays, bit operations, or strings.