no code implementations • 29 Nov 2018 • Michael Hartisch, Ulf Lorenz
Solutions are so-called winning strategies for the existential player that specify how to react on moves of the universal player - i. e. certain assignments of universally quantified variables - to certainly win the game.