An analog SAT solver based on a deterministic dynamical system: (Invited paper).

Xunzhao Yin, Zoltn Toroczkai, Xiaobo Sharon Hu

Browse the full ICCAD paper archive.