@misc{indiciae7dbbef90a481,
  title = {Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer},
  author = {Yihan He and Ming-Chun Hong and Wanli Zheng and Ching Shih and Hsin-Han Lee and Yu-Chen Hsin and Jeng-Hua Wei and Xiao Gong and Tuo-Hung Hou and Gengchiau Liang},
  year = {2026},
  url = {https://arxiv.org/abs/2505.22215},
  note = {Source identifier: 2505.22215}
}