Determinism in the Certification of UNSAT Proofs. - Tomer Libal; Xaviera Steele (PxTP, 2017)