Exploring Predictability of SAT/SMT Solvers. - Robert Brummayer; Duckki Oe; Aaron Stump (EMSQMS@IJCAR, 2010)

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

SMT proof checking using a logical framework. - Aaron Stump; Duckki Oe; Andrew Reynolds 001; Liana Hadarean; Cesare Tinelli (Formal Methods Syst. Des., 2013)