APA (7th ed.) Citation

Spallitta, G., Duenas-Osorio, L., & Vardi, M. Y. (2026). Computing Short SAT Implicants via Ising/QUBO Encodings.

Chicago Style (17th ed.) Citation

Spallitta, Giuseppe, Leonardo Duenas-Osorio, and Moshe Y. Vardi. Computing Short SAT Implicants via Ising/QUBO Encodings. 2026.

MLA (9th ed.) Citation

Spallitta, Giuseppe, et al. Computing Short SAT Implicants via Ising/QUBO Encodings. 2026.