An Experimental Study of Algorithms and Optimisations for Parity Games, with an Application to Boolean Equation Systems. Keiren, J. J. A. July 2009. bibtex @mscthesis{experimental_2009,
type = {MSc thesis},
title = {An Experimental Study of Algorithms and Optimisations for Parity
Games, with an Application to Boolean Equation Systems},
school = {Eindhoven University of Technology},
author = {Keiren, J. J. A.},
month = jul,
year = {2009}
}
Downloads: 0
{"_id":"m3Pj5BBLqSBSyXFEw","bibbaseid":"keiren-anexperimentalstudyofalgorithmsandoptimisationsforparitygameswithanapplicationtobooleanequationsystems-2009","downloads":0,"creationDate":"2016-03-21T12:53:16.952Z","title":"An Experimental Study of Algorithms and Optimisations for Parity Games, with an Application to Boolean Equation Systems","author_short":["Keiren, J. J. A."],"year":2009,"bibtype":"mscthesis","biburl":"http://www.jeroenkeiren.nl/publications.bib","bibdata":{"bibtype":"mscthesis","type":"MSc thesis","title":"An Experimental Study of Algorithms and Optimisations for Parity Games, with an Application to Boolean Equation Systems","school":"Eindhoven University of Technology","author":[{"propositions":[],"lastnames":["Keiren"],"firstnames":["J.","J.","A."],"suffixes":[]}],"month":"July","year":"2009","bibtex":"@mscthesis{experimental_2009,\n type = {MSc thesis},\n title = {An Experimental Study of Algorithms and Optimisations for Parity \n Games, with an Application to Boolean Equation Systems},\n school = {Eindhoven University of Technology},\n author = {Keiren, J. J. A.},\n month = jul,\n year = {2009}\n}\n\n","author_short":["Keiren, J. J. A."],"key":"experimental_2009","id":"experimental_2009","bibbaseid":"keiren-anexperimentalstudyofalgorithmsandoptimisationsforparitygameswithanapplicationtobooleanequationsystems-2009","role":"author","urls":{},"downloads":0},"search_terms":["experimental","study","algorithms","optimisations","parity","games","application","boolean","equation","systems","keiren"],"keywords":[],"authorIDs":["56d55df1751356535400000b"],"dataSources":["K2qm3yztsCi4bCsrA"]}