swMATH8416MaRDI QIDQ20425FDOQ20425
Author name not available (Why is that?)
Official website: http://homepage.cs.uiowa.edu/~astump/talks/clsat.pdf
Cited In (10)
- Flexible proof production in an industrial-strength SMT solver
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver
- Semi-intelligible Isar proofs from machine-generated proofs
- A unified framework for DPLL(T) + certificates
- veriT
- SMTCoq
- Satisfiability modulo theories
- Ordered_Resolution_Prover
- SMT proof checking using a logical framework
- A semantic framework for proof evidence
This page was built for software: CLSAT
