1 paper
Joseph Gibson, Victor Drouin-Touchette, Stefanos Kourtis
We propose a quantum algorithm for approximately counting the number of solutions to planar 2-satisfiability (2SAT) formulas natively on neutral atom quantum computers. Our algorit…