TY  - RPRT
TI  - Quantum Weighted Model Counting
AU  - Fabrizio Riguzzi
PY  - 2020
UR  - https://arxiv.org/abs/1910.13530
ID  - 1910.13530
ER  -