Παραπομπή σε μορφή APA (7η εκδ.)

Schreiber, D., & Sanders, P. (2024). MallobSat: Scalable SAT Solving by Clause Sharing. Journal of Artificial Intelligence Research, 80, 1437-1495. https://doi.org/10.1613/jair.1.15827

Παραπομπή σε μορφή Chicago (17η εκδ.)

Schreiber, Dominik, και Peter Sanders. "MallobSat: Scalable SAT Solving by Clause Sharing." Journal of Artificial Intelligence Research 80 (2024): 1437-1495. https://doi.org/10.1613/jair.1.15827.

Παραπομπή σε μορφή MLA (9th εκδ.)

Schreiber, Dominik, και Peter Sanders. "MallobSat: Scalable SAT Solving by Clause Sharing." Journal of Artificial Intelligence Research, vol. 80, 2024, pp. 1437-1495, https://doi.org/10.1613/jair.1.15827.