Immediate Impact
2 standout
Citing Papers
Silicon Photonics Circuit Design: Methods, Tools and Challenges
2018 Standout
Quantum algorithms: an overview
2016 Standout
Works of E. Goldberg being referenced
Verification of proofs of unsatisfiability for CNF formulas
2003
Using SAT for combinational equivalence checking
2001
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| E. Goldberg | 30 | 58 | 17 | 32 | 6 | 77 | |
| Amar Bouali | 21 | 61 | 9 | 34 | 6 | 77 | |
| Valeriy Balabanov | 21 | 53 | 37 | 47 | 6 | 100 | |
| O. Grumberg | 11 | 58 | 10 | 36 | 4 | 79 | |
| Gil Shurek | 71 | 39 | 20 | 25 | 5 | 104 | |
| Jawahar Jain | 51 | 76 | 32 | 28 | 8 | 93 | |
| Roy Armoni | 25 | 38 | 12 | 13 | 5 | 55 | |
| B. Plessier | 43 | 55 | 44 | 20 | 6 | 79 | |
| Gunnar Stålmarck | 12 | 91 | 9 | 68 | 6 | 107 | |
| Per Bjesse | 29 | 43 | 8 | 14 | 8 | 54 | |
| Michael Vinov | 60 | 32 | 23 | 15 | 6 | 92 |
All Works
Loading papers...