Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries. - Richard Uhler; Nirav Dave (CAV, 2013)

Smten with satisfiability-based search. - Richard Uhler; Nirav Dave (OOPSLA, 2014)

Smten and the art of satisfiability-based search. - Richard Uhler (2014)