Year | Venue | Field |
---|---|---|
2014 | JSAT | Discrete mathematics,Unsatisfiable core,Theoretical computer science,Test case,Mathematics |
DocType | Volume | Citations |
Journal | 9 | 0 |
PageRank | References | Authors |
0.34 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexander Nadel | 1 | 213 | 13.95 |
Vadim Ryvchin | 2 | 75 | 5.68 |
Ofer Strichman | 3 | 1071 | 63.61 |