Name
Year | Venue | Field |
|---|---|---|
2009 | Algorithms and Applications for Next Generation SAT Solvers | Decision problem,Computer science,Correctness,Symbolic computation,Theoretical computer science,Gröbner basis,Solver,Hardware description language,Satisfiability modulo theories,Formal verification |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Markus Wedler | 1 | 77 | 12.44 |
| Evgeny Pavlenko | 2 | 7 | 4.21 |
| Alexander Dreyer | 3 | 56 | 4.84 |
| Frank Seelisch | 4 | 7 | 3.13 |
| Dominik Stoffel | 5 | 176 | 28.93 |
| Gert-Martin Greuel | 6 | 108 | 14.96 |
| Wolfgang Kunz | 7 | 236 | 33.71 |