TY  - RPRT
TI  - A Comparison of BDD-Based Parity Game Solvers
AU  - Lisette Sanchez
AU  - Wieger Wesselink
AU  - Tim A. C. Willemse
PY  - 2018
DO  - 10.4204/eptcs.277.8
UR  - https://arxiv.org/abs/1809.03097
ID  - 1809.03097
ER  -