TY  - RPRT
TI  - Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
AU  - Yi Lin
AU  - Moshe Y. Vardi
PY  - 2025
UR  - https://arxiv.org/abs/2512.07018
ID  - 2512.07018
ER  -