TY  - RPRT
TI  - Variable Shift SDD: A More Succinct Sentential Decision Diagram
AU  - Kengo Nakamura
AU  - Shuhei Denzumi
AU  - Masaaki Nishino
PY  - 2020
UR  - https://arxiv.org/abs/2004.02502
ID  - 2004.02502
ER  -