Author:Aaron Stump

Publications
EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors) EPiC Series in Computing, volume 6
Exploring Predictability of SAT/SMT Solvers Robert Brummayer, Duckki Oe and Aaron Stump In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
Termination Casts: A Flexible Approach to Termination with General Recursion Aaron Stump, Vilhelm Sjöberg and Stephanie Weirich In:PAR-10. Partiality and Recursion in Interactive Theorem Provers