TY  - RPRT
TI  - Encoding Circuit Satisfiability in Rydberg Atom Arrays
AU  - Haotian Ji
AU  - Zhangjie Qin
AU  - Zheng An
AU  - Bowen Yan
AU  - Daoheng Niu
AU  - Kunzhe Dai
AU  - Jingkai Fang
AU  - Dongyang Cao
AU  - Jiangyu Cui
PY  - 2026
UR  - https://arxiv.org/abs/2608.12938
ID  - 2608.12938
ER  -