TY  - RPRT
TI  - Summing Up Smart Transitions
AU  - Neta Elad
AU  - Sophie Rain
AU  - Neil Immerman
AU  - Laura Kovács
AU  - Mooly Sagiv
PY  - 2021
UR  - https://arxiv.org/abs/2105.07663
ID  - 2105.07663
ER  -