LFSC for SMT Proofs: Work in Progress. - Aaron Stump; Andrew Reynolds 001; Cesare Tinelli; Austin Laugesen; Harley Eades III; Corey Oliver; Ruoyu Zhang (PxTP, 2012)

versat: A Verified Modern SAT Solver. - Duckki Oe; Aaron Stump; Corey Oliver; Kevin Clancy (VMCAI, 2012)