Gima, T., Iwamasa, Y., Kobayashi, Y., Kurita, K., Otachi, Y., & Saito, R. (2024). Computing diverse pair of solutions for tractable SAT.
Citazione stile Chigago Style (17a edizione)Gima, Tatsuya, Yuni Iwamasa, Yasuaki Kobayashi, Kazuhiro Kurita, Yota Otachi, e Rin Saito. Computing Diverse Pair of Solutions for Tractable SAT. 2024.
Citatione MLA (9a ed.)Gima, Tatsuya, et al. Computing Diverse Pair of Solutions for Tractable SAT. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.