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

Open in new window