@misc{indiciae2b42ea75649d,
  title = {Quokka\#: Quantum Computing with \#SAT},
  author = {Jingyi Mei and Dekel Zak and Muhammad Osama and Tim Coopmans and Alfons Laarman},
  year = {2026},
  url = {https://arxiv.org/abs/2605.16509},
  note = {Source identifier: 2605.16509}
}