A CSP-Based Approach for Solving Parity Game.

Min Jiang, Changle Zhou, Guoqing Wu, Fan Zhang

Browse the full FAW paper archive.