1 citations · 1 across the 6 of their papers we have counts for
Showing 2025Show all
3 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.CC2025
Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
Abdallah Saffidine, Andreas Herzig
It is well-known that every quantified boolean formula (QBF) can be transformed into a prenex QBF whose only boolean operators are negation, conjunction, and disjunction. It is als…
math.CO2025
An Improved Upper Bound on the Threshold Bias of the Oriented-cycle Game
Anita Liebenau, Abdallah Saffidine, Jeffrey Yang
We study the -biased Oriented-cycle game where two players, OMaker and OBreaker, take turns directing the edges of (the complete graph on vertices). In each round, OMa…