This project examines the combination of structural reduction with partitioning, where partitioning is used to enable additional reductions. The report proves correctness across multiple partitions, suggests and efficient implementation architecture and discusses problem areas for eliminating duplicate states across partitions.