Picture for Xaviera Steele

Xaviera Steele

American University of Paris

Determinism in the Certification of UNSAT Proofs

Add code
Dec 05, 2017
Figure 1 for Determinism in the Certification of UNSAT Proofs
Figure 2 for Determinism in the Certification of UNSAT Proofs
Viaarxiv icon