Krahl, M., Güdemann, M., & Wallentowitz, S. (2025). parSAT: Parallel Solving of Floating-Point Satisfiability.
Citazione stile Chigago Style (17a edizione)Krahl, Markus, Matthias Güdemann, e Stefan Wallentowitz. ParSAT: Parallel Solving of Floating-Point Satisfiability. 2025.
Citatione MLA (9a ed.)Krahl, Markus, et al. ParSAT: Parallel Solving of Floating-Point Satisfiability. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.