Immediate Impact
30 standout
Citing Papers
Necessary condition analysis (NCA): review of research topics and guidelines for good practice
2023 Standout
SAR Ship Detection Dataset (SSDD): Official Release and Comprehensive Data Analysis
2021 Standout
Works of David A. Plaisted being referenced
A satisfiability procedure for quantified Boolean formulae
2003
A heuristic triangulation algorithm
1987
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| David A. Plaisted | 630 | 499 | 147 | 62 | 827 | |
| Hisao Tamaki | 366 | 272 | 115 | 41 | 726 | |
| Paul W. Purdom | 418 | 319 | 406 | 54 | 826 | |
| David R. Musser | 609 | 373 | 212 | 35 | 890 | |
| W. W. Bledsoe | 547 | 333 | 135 | 33 | 805 | |
| Michael Rodeh | 394 | 488 | 438 | 28 | 984 | |
| Walter J. Savitch | 427 | 544 | 132 | 36 | 762 | |
| Jacques Cohen | 406 | 202 | 232 | 59 | 827 | |
| Kousha Etessami | 524 | 557 | 192 | 38 | 884 | |
| G. Ramalingam | 323 | 259 | 285 | 49 | 769 | |
| Peter Jönsson | 517 | 376 | 559 | 106 | 895 |
All Works
Loading papers...