## Kenneth Roe

*The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover*

CAV, 2006.

@inproceedings{CAV-2006-Roe, author = "Kenneth Roe", booktitle = "{Proceedings of the 18th International Conference on Computer Aided Verification}", doi = "10.1007/11817963_42", isbn = "3-540-37406-X", pages = "467--470", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover}", volume = 4144, year = 2006, }