Picture for Daniel Miedema

Daniel Miedema

Bernoulli Institute, University of Groningen

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic

Add code
Jul 11, 2023
Viaarxiv icon