A Matrix-Based Approach to Parity Games. - Saksham Aggarwal; Alejandro Stuckey de la Banda; Luke Yang; Julian Gutierrez 001 (TACAS (1), 2023)