This article explores new methods for encoding factored tasks in SAT solving, aiming to improve the efficiency of task representation in planning. The research highlights various encoding strategies and the potential for enhanced performance through parallelism and task transformations.