Immediate Impact
1 standout
Citing Papers
Notions of explainability and evaluation approaches for explainable artificial intelligence
2021 Standout
Works of Mate Soos being referenced
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting
2019
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Mate Soos | 24 | 2 | 13 | 6 | 2 | 30 | |
| Aaron Bohannon | 31 | 1 | 20 | 6 | 3 | 32 | |
| Vineet Kahlon | 11 | 2 | 13 | 7 | 3 | 21 | |
| Russell Harmer | 26 | 20 | 4 | 2 | 29 | ||
| Arnaud Fietzke | 22 | 25 | 10 | 3 | 30 | ||
| César Kunz | 19 | 5 | 12 | 4 | 3 | 22 | |
| Edmund Clarke | 17 | 16 | 3 | 2 | 21 | ||
| Avra Cohn | 21 | 23 | 6 | 3 | 30 | ||
| Douglas R. Smith | 19 | 1 | 13 | 6 | 3 | 28 | |
| Yury Puzis | 17 | 12 | 3 | 2 | 19 | ||
| Juan Manuel Crespo | 14 | 5 | 8 | 4 | 3 | 19 |
All Works
Login with ORCID to disown or claim papers
Loading papers...