Name
Year | DOI | Venue |
|---|---|---|
2019 | 10.1007/978-3-030-24258-9_3 | SAT |
Field | DocType | Citations |
Discrete mathematics,Computer science,Mathematical proof,Proof complexity | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Joshua Blinkhorn | 1 | 3 | 6.16 |
| Olaf Beyersdorff | 2 | 223 | 30.33 |