TY  - RPRT
TI  - Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
AU  - Ichiro Hasuo
AU  - Yuichiro Oyabu
AU  - Clovis Eberhart
AU  - Kohei Suenaga
AU  - Kenta Cho
AU  - Shin-ya Katsumata
PY  - 2023
UR  - https://arxiv.org/abs/2101.01502
ID  - 2101.01502
ER  -