Eshaghian, V., Wilkening, S., Åberg, J., & Gross, D. (2024). Runtime-coherence trade-offs for hybrid SAT-solvers.
Citazione stile Chigago Style (17a edizione)Eshaghian, Vahideh, Sören Wilkening, Johan Åberg, e David Gross. Runtime-coherence Trade-offs for Hybrid SAT-solvers. 2024.
Citatione MLA (9a ed.)Eshaghian, Vahideh, et al. Runtime-coherence Trade-offs for Hybrid SAT-solvers. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.