# Survey

- Proofs for Satisfiability Problems
- Generating and Exploiting Automated Reasoning Proof Certificates
- PROOFS FOR SMT

# Projects

# Verifiers

- SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
- CARCARA: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format
- A Resolution-Based Interactive Proof System for UNSAT