1 citations · 1 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Repairing General Game Descriptions (extended version)
Yifan He, Munyque Mittelmann, Aniello Murano +2
The Game Description Language (GDL) is a widely used formalism for specifying the rules of general games. Writing correct GDL descriptions can be challenging, especially for non-ex…
cs.LO2020★ 1 cited
Positional Games and QBF: A Polished Encoding
Valentin Mayer-Eichberger, Abdallah Saffidine
Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean For…