What is the difference between SAT and SMT?
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.