@misc{indiciae134926a6b562,
  title = {Computing Short SAT Implicants via Ising/QUBO Encodings},
  author = {Giuseppe Spallitta and Leonardo Duenas-Osorio and Moshe Y. Vardi},
  year = {2026},
  url = {https://arxiv.org/abs/2605.07017},
  note = {Source identifier: 2605.07017}
}