Optimising parity game solvers using dynamic SCC maintenance

  • A.M. Huijsmans

Scriptie/Masterproef: Master

Datum prijs13 sep. 2021
Originele taalEngels
BegeleiderTim A.C. Willemse (Afstudeerdocent 1)

Citeer dit

Documenten

'