Name
Year | Venue | Field |
|---|---|---|
2018 | Archive of Formal Proofs | Simplex algorithm,Computer science,Unsatisfiable core,Algorithm |
DocType | Volume | Citations |
Journal | 2018 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Filip Maric | 1 | 21 | 7.32 |
| Mirko Spasić | 2 | 5 | 2.59 |
| René Thiemann | 3 | 984 | 69.38 |