TY  - RPRT
TI  - Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
AU  - Daniel Miedema
AU  - Malvin Gattinger
PY  - 2023
DO  - 10.4204/eptcs.379.32
UR  - https://arxiv.org/abs/2307.05067
ID  - 2307.05067
ER  -