Ashish Darbari
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 2010 | ||
|---|---|---|
| 3 | Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. Ashish Darbari, Bernd Fischer, Joćo Marques-Silva. ICTAC 2010, 260-274. Web SearchBibTeXDownload | |
| 2009 | ||
| 2 | Industrial-Strength Formally Certified SAT Solving. Ashish Darbari, Bernd Fischer, Joćo P. Marques Silva. CoRR (abs/0911.1678) (2009). Web SearchBibTeXDownload | |
| 1 | Selective state retention design using symbolic simulation. Ashish Darbari, Bashir M. Al-Hashimi, David Flynn, John Biggs. DATE 2009, 1644-1649. Web SearchBibTeXDownload | |
from DBLP and Google Scholar