2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 2 cited
Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic
Daniel Miedema, Malvin Gattinger
Binary decision diagrams (BDDs) are widely used to mitigate the state-explosion problem in model checking. A variation of BDDs are Zero-suppressed Decision Diagrams (ZDDs) which om…
cond-mat.soft2015
Free energy of sheared colloidal glasses
M. T. Dang, V. Chikkadi, R. Zargar +4
We develop a free energy framework to describe the response of glasses to applied stress. Unlike crystals, for which the free energy increases quadratically with strain due to affi…