Massimo Benerecetti

Priority Promotion with Parysian Flair

2021 · arXiv (Cornell University)

We develop an algorithm that combines the advantages of priority promotion - one of the leading approaches to solving large parity games in practice - with the quasi-polynomial time guarantees offered by Parys' algorithm. Hybridising …