Year | DOI | Venue |
---|---|---|
2022 | 10.1007/S10817-022-09623-5 | Journal of Automated Reasoning |
DocType | Volume | Citations |
Journal | 66 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joshua Brakensiek | 1 | 2 | 6.80 |
Marijn Heule | 2 | 0 | 1.69 |
John Mackey | 3 | 17 | 3.41 |
David E. Narváez | 4 | 0 | 1.01 |