Determinism in the Certification of UNSAT Proofs.

Tomer Libal Xaviera Steele

Published in: PxTP (2017)

Keyphrases

third party
sat solvers
theorem proving
theorem prover
equational theories
decision procedures
formal proofs
formal proof
social networks
first order logic
computer programs