@inproceedings{DMV18,
	author    = "Antonio {Di Stasio} and
	Aniello Murano and
	Moshe Y. Vardi",
	title     = "Solving {Parity Games: Explicit vs Symbolic}",
	booktitle = "{CIAA} 2018",
	pages     = "159--172",
	url_paper = {http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf},
	url_slides = {slides/ciaa18.pdf},
	year      = "2018"
}

{"_id":"TdTPfskJaSmtiAPRg","bibbaseid":"distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018","author_short":["Di Stasio, A.","Murano, A.","Vardi, M. Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Antonio"],"propositions":[],"lastnames":["Di Stasio"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Moshe","Y."],"propositions":[],"lastnames":["Vardi"],"suffixes":[]}],"title":"Solving Parity Games: Explicit vs Symbolic","booktitle":"CIAA 2018","pages":"159–172","url_paper":"http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf","url_slides":"slides/ciaa18.pdf","year":"2018","bibtex":"@inproceedings{DMV18,\n\tauthor = \"Antonio {Di Stasio} and\n\tAniello Murano and\n\tMoshe Y. Vardi\",\n\ttitle = \"Solving {Parity Games: Explicit vs Symbolic}\",\n\tbooktitle = \"{CIAA} 2018\",\n\tpages = \"159--172\",\n\turl_paper = {http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf},\n\turl_slides = {slides/ciaa18.pdf},\n\tyear = \"2018\"\n}\n\n\n","author_short":["Di Stasio, A.","Murano, A.","Vardi, M. Y."],"key":"DMV18","id":"DMV18","bibbaseid":"distasio-murano-vardi-solvingparitygamesexplicitvssymbolic-2018","role":"author","urls":{" paper":"http://people.na.infn.it/~murano/pubblicazioni/CIAA2018.pdf"," slides":"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/slides/ciaa18.pdf"},"metadata":{"authorlinks":{}},"downloads":8},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/antonio.bib","dataSources":["Qna8xiZAGMH2LDuPu","z68fXjfDFHo3BzBEe"],"keywords":[],"search_terms":["solving","parity","games","explicit","symbolic","di stasio","murano","vardi"],"title":"Solving Parity Games: Explicit vs Symbolic","year":2018,"downloads":8}