Effectively encoding satisfiability problems into Ising models for quantum annealing. - Xiaotian Li; Koji Nakano; Victor Parque; Yasuaki Ito; Takumi Kato; Yuya Kawamata; Kaiki li (Int. J. Parallel Emergent Distributed Syst., 2026)