Statistics
Publications
6
Citations
250
H-Index
6
Active since
2004
Saurabh K Tiwary is an author at Carnegie Mellon University specializing in computer engineering, engineering, and computer architecture.
Publications per year
2004–2009
6
6
First steps towards SAT-based formal analog verification
Saurabh K Tiwary, Anubhav Gupta, Joel Phillips et al. · 2009 · 29 citations
Pareto optimal modeling for efficient PLL optimization
Saurabh K Tiwary, Senthil Velu, Rob A. Rutenbar et al. · 2004 · 27 citations
Mathematical Programming, Large-scale Global Optimization, Engineering +16
1–5 of 6