TY  - RPRT
TI  - An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
AU  - Kuldeep S. Meel
AU  - Alexis de Colnet
PY  - 2025
UR  - https://arxiv.org/abs/2406.16515
ID  - 2406.16515
ER  -