TY  - RPRT
TI  - Quantum Physics using Weighted Model Counting
AU  - Dirck van den Ende
AU  - Joon Hyung Lee
AU  - Alfons Laarman
AU  - Henning Basold
PY  - 2026
UR  - https://arxiv.org/abs/2508.21288
ID  - 2508.21288
ER  -