SATIC: An Optimizing Ising Compiler for SAT(isfiability)
Published in ACM/IEEE International Symposium on Computer Architecture (ISCA), 2026
An optimizing compiler that maps SAT instances onto Ising hardware, enabling physics-based Ising machines to tackle satisfiability problems at scale.