Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-24258-9_22 | SAT |
Field | DocType | Citations |
Dependency relation,Discrete mathematics,On demand,Computer science,Theoretical computer science,Solver,Speedup | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomás Peitl | 1 | 6 | 4.82 |
Friedrich Slivovsky | 2 | 62 | 7.96 |
Stefan Szeider | 3 | 1341 | 99.97 |