Sharad Malik (Q102299521)
Jump to navigation
Jump to search
Ph.D. University of California, Berkeley 1990
Language | Label | Description | Also known as |
---|---|---|---|
English | Sharad Malik |
Ph.D. University of California, Berkeley 1990 |
Statements
8 January 2015
1 reference
2014
8 January 2015
For contributions to efficient and capable SAT solvers, and accurate embedded software models (English)
1 reference
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Sharad Malik