TY  - RPRT
TI  - Determinism in the Certification of UNSAT Proofs
AU  - Tomer Libal
AU  - Xaviera Steele
PY  - 2017
DO  - 10.4204/eptcs.262.6
UR  - https://arxiv.org/abs/1712.01488
ID  - 1712.01488
ER  -