• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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