Name
Year | Venue | DocType |
|---|---|---|
2017 | CoRR | Journal |
Volume | Citations | PageRank |
abs/1709.10207 | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nicholas Carlini | 1 | 1599 | 63.23 |
| Guy Katz | 2 | 261 | 17.17 |
| Clark Barrett | 3 | 1268 | 108.65 |
| David L. Dill | 4 | 12629 | 1293.07 |