1 paper
Haotian Ji, Zhangjie Qin, Zheng An +6
Rydberg atom arrays natively encode the maximum-weight independent set (MWIS) problem through the blockade mechanism, so the Boolean circuit satisfiability problem (Circuit-SAT) ca…