Structural Reductions with Partitioning
Author
Term
4. term
Education
Publication year
2021
Submitted on
2021-04-28
Pages
42
Abstract
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.
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.
Keywords
Documents