MICHAELSON, Dawn, SCHREIBER, Dominik, HEULE, Marijn J. H., KIESL-REITER, Benjamin und WHALEN, Michael W., 2025. Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. Journal of Automated Reasoning. 1 Juni 2025. Vol. 69, no. 2, p. 1-26. DOI 10.1007/s10817-025-09725-w.
Elsevier - Harvard (with titles)Michaelson, D., Schreiber, D., Heule, M.J.H., Kiesl-Reiter, B., Whalen, M.W., 2025. Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. Journal of Automated Reasoning 69, 1-26. https://doi.org/10.1007/s10817-025-09725-w
American Psychological Association 7th editionMichaelson, D., Schreiber, D., Heule, M. J. H., Kiesl-Reiter, B., & Whalen, M. W. (2025). Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers. Journal of Automated Reasoning, 69(2), 1-26. https://doi.org/10.1007/s10817-025-09725-w
Springer - Basic (author-date)Michaelson D, Schreiber D, Heule MJH, Kiesl-Reiter B, Whalen MW (2025) Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers.. Journal of Automated Reasoning 69:1-26. https://doi.org/10.1007/s10817-025-09725-w
Juristische Zitierweise (Stüber) (Deutsch)Michaelson, Dawn/ Schreiber, Dominik/ Heule, Marijn J. H./ Kiesl-Reiter, Benjamin/ Whalen, Michael W., Producing Proofs of Unsatisfiability with Distributed Clause-Sharing SAT Solvers., Journal of Automated Reasoning 2025, 1-26.