Im Projekt EXplayN geht es um das Spielen (PLAY) von Strategiespielen. Sowohl 1-Personen-Spiele (Jigsaw-, Schiebepuzzles, Rubiks-Cube, Solitaire, ...) als auch Mehr-Personen-Spiele (4-gewinnt, Mühle, Reversi, Dame, Schach,...) sollen analytisch (explain) untersucht werden, um Aussagen über die Schwierigkeit der Spiele treffen und Lösungsstrategien bewerten zu können. Dabei sollen vor allem Methoden (Algorithmen und Datenstrukturen), die aus dem Bereich des Schaltkreisentwurfs bekannt sind und dort erfolgreich eingesetzt werden, in diesem Kontext untersucht werden.