no code implementations • 28 Sep 2016 • János Flesch, Rida Laraki, Vianney Perchet
The third is necessary: if it is not satisfied, the opponent can weakly exclude the target set.