No-Opponent-Cycle Propagators for Solving Parity Games.

Gonzalo Hernandez, Julian Garcia, Julian Gutierrez, Guido Tack

Browse the full CPAIOR paper archive.