A CSP-Based Approach for Solving Parity Game.

Min Jiang Changle Zhou Guoqing Wu Fan Zhang A CSP-Based Approach for Solving Parity Game. 135-146 2008 FAW http://dx.doi.org/10.1007/978-3-540-69311-6_16 conf/faw/2008 db/conf/faw/faw2008.html#JiangZWZ08