Scholar
Alexander Nadel
Google Scholar ID: 28Ww4H0AAAAJ
Principal Engineer at NVIDIA | Research Fellow at the Technion
SAT
SMT
Model Checking
Physical Design
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,509
H-index
22
i10-index
35
Publications
20
Co-authors
8
list available
Publications
4 items
Woodelf++: A Fast and Unified Partial Dependence Plot Algorithm for Decision Tree Ensembles
2026
Cited
0
Backtrackable Inprocessing
2026
Cited
0
WOODELF-HD: Efficient Background SHAP for High-Depth Decision Trees
2026
Cited
0
From Decision Trees to Boolean Logic: A Fast and Unified SHAP Algorithm
2025
Cited
0
Co-authors
5 total
Roberto Sebastiani
Full Professor in Computer Science, DISI, University of Trento, Italy
Alessandro Cimatti
Fondazione Bruno Kessler
Yakir Vizel
Technion
Alberto Griggio
Researcher, Fondazione Bruno Kessler
Sharad Malik
Professor of Electrical and Computer Engineering, Princeton University
