Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Solving quantified linear arithmetic by counterexample-guided instantiation. | 2 | 0.38 | 2017 |
| A Decision Procedure for Separation Logic in SMT. | 5 | 0.41 | 2016 |
| Deciding Local Theory Extensions Via E-Matching | 7 | 0.43 | 2015 |
| An Instantiation-Based Approach for Solving Quantified Linear Arithmetic. | 3 | 0.38 | 2015 |
| Practical SMT-based type error localization | 1 | 0.36 | 2015 |
| Finding minimum type error sources | 12 | 0.55 | 2014 |