Login / Signup

Implicit State and Goals in QBF Encodings for Positional Games (extended version).

Irfansha ShaikValentin Mayer-EichbergerJaco van de PolAbdallah Saffidine
Published in: CoRR (2023)
Keyphrases
  • orders of magnitude
  • state space
  • video games
  • description logics
  • model checking