@misc{indiciaece743e9f67f3,
  title = {Quantum Physics using Weighted Model Counting},
  author = {Dirck van den Ende and Joon Hyung Lee and Alfons Laarman and Henning Basold},
  year = {2026},
  url = {https://arxiv.org/abs/2508.21288},
  note = {Source identifier: 2508.21288}
}