Name
Year | Venue | Field |
|---|---|---|
2015 | Int. J. Found. Comput. Sci. | Discrete mathematics,Combinatorics,Satisfiability,CTL*,Mathematics |
DocType | Volume | Issue |
Journal | 26 | 8 |
Citations | PageRank | References |
1 | 0.35 | 0 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Arne Meier | 1 | 126 | 19.00 |
| Michael Thomas | 2 | 32 | 3.22 |
| Heribert Vollmer | 3 | 805 | 71.64 |
| Martin Mundhenk | 4 | 23 | 2.95 |