VAN DOREN, Raoul, ANTONOPOULOS, Timos und PISKAC, Ruzica, 2025. Efficient and Verifiable Proof Logging for Max SAT Solving. In: . 16 November 2025.
Elsevier - Harvard (with titles)Van Doren, R., Antonopoulos, T., Piskac, R., 2025. Efficient and Verifiable Proof Logging for Max SAT Solving, in: . https://doi.org/10.1109/ASE63991.2025.00113
American Psychological Association 7th editionVan Doren, R., Antonopoulos, T., & Piskac, R. (2025, November 16). Efficient and Verifiable Proof Logging for Max SAT Solving. https://doi.org/10.1109/ASE63991.2025.00113
Springer - Basic (author-date)Van Doren R, Antonopoulos T, Piskac R (2025) Efficient and Verifiable Proof Logging for Max SAT Solving
Juristische Zitierweise (Stüber) (Deutsch)Van Doren, Raoul/ Antonopoulos, Timos/ Piskac, Ruzica, Efficient and Verifiable Proof Logging for Max SAT Solving, 2025, .