Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. - Daniel Miedema; Malvin Gattinger (TARK, 2023)