Structural Reductions with Partitioning

Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  • Martin Christensen
4. semester, Datalogi, Kandidat (Kandidatuddannelse)
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.
Udgivelsesdato28 apr. 2021
Antal sider42
ID: 410337675