Richard Uhler

According to our database¹, Richard Uhler authored at least 3 papers between 2013 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Smten and the art of satisfiability-based search.

[BibT_eX]

[DOI]

PhD thesis, 2014

Smten with satisfiability-based search.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013