Smten with satisfiability-based search.

Richard Uhler, Nirav Dave

Browse the full OOPSLA paper archive.