SAT transformations