Min Jiang, Changle Zhou, Guoqing Wu, Fan Zhang. A CSP-Based Approach for Solving Parity Game. In Franco P. Preparata, Xiaodong Wu, Jianping Yin, editors, Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings. Volume 5059 of Lecture Notes in Computer Science, pages 135-146, Springer, 2008. [doi]
Abstract is missing.