Compact Proofs of Partial Knowledge for Overlapping CNF Formulae

Published in J. Cryptol., 2025

Access paper here

Recommended citation: Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti, "Compact Proofs of Partial Knowledge for Overlapping CNF Formulae." J. Cryptol., 2025.
Download Paper