Structural Reductions with Partitioning

Studenteropgave: Master 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.
SprogEngelsk
Udgivelsesdato28 apr. 2021
Antal sider42
ID: 410337675