SPLASH 2014 (series) / Nirav Dave
Not registered as user yet
Name: Nirav Dave
Affiliation: SRI International
Contributions
| SPLASH 2014 | Smten with Satisfiability-Based Search Smten with Satisfiability-Based Search | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile