Efficient and Verifiable Proof Logging for MaxSAT Solving. - Raoul Van Doren; Timos Antonopoulos; Ruzica Piskac (ASE, 2025)