Efficient and Verifiable Proof Logging for MaxSAT Solving.

Wed, 01 Jan 2025 00:00:00 +0100

Raoul Van Doren, Timos Antonopoulos, Ruzica Piskac:
Efficient and Verifiable Proof Logging for MaxSAT Solving. ASE 2025: 1325-1337