Computing Short SAT Implicants via Ising/QUBO Encodings (ArXiv cs.LO Recent Papers, 2026)