SATIC: An Optimizing Ising Compiler for SAT(isfiability).

Ahmet Efe, Hsrev Cilasun, Abhimanyu Kumar, Nafisa Sadaf Prova, Ziqing Zeng, Tahmida Islam, Ruihong Yin, Chaohui Li, Peter Kreye, Chris H. Kim, Sachin S. Sapatnekar, Ulya R. Karpuzcu

Browse the full ISCA paper archive.