Determinism in the Certification of UNSAT Proofs

Tomer Libal, Xaviera Steele

The search for increased trustworthiness of SAT solvers is very active and uses various methods. Some of these methods obtain a proof from the provers then check it, normally by re…