Compact Proofs of Partial Knowledge for Overlapping CNF Formulae
Published in J. Cryptol., 2025
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
