TY  - RPRT
TI  - Solving Boolean Satisfiability Problems Using A Hypergraph-based Probabilistic Computer
AU  - Yihan He
AU  - Ming-Chun Hong
AU  - Wanli Zheng
AU  - Ching Shih
AU  - Hsin-Han Lee
AU  - Yu-Chen Hsin
AU  - Jeng-Hua Wei
AU  - Xiao Gong
AU  - Tuo-Hung Hou
AU  - Gengchiau Liang
PY  - 2026
UR  - https://arxiv.org/abs/2505.22215
ID  - 2505.22215
ER  -