Structural Reductions with Partitioning

Student thesis: Master thesis (including HD thesis)

  • Martin Christensen
4. term, Computer Science, Master (Master Programme)
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.
Publication date28 Apr 2021
Number of pages42
ID: 410337675