Name
Title | ||
|---|---|---|
New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072). |
Year | DOI | Venue |
|---|---|---|
2022 | 10.4230/DagRep.12.2.67 | Dagstuhl Reports |
DocType | Volume | Issue |
Journal | 12 | 2 |
ISSN | Citations | PageRank |
2192-5283 | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Erika Ábrahám | 1 | 830 | 63.17 |
| James H. Davenport | 2 | 844 | 141.40 |
| Matthew England | 3 | 14 | 3.35 |
| Alberto Griggio | 4 | 0 | 1.01 |