|
Search the dblp DataBase
Alexander Smith:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Alexander Smith, Andreas G. Veneris, Anastasios Viglas
Design diagnosis using Boolean satisfiability. [Citation Graph (0, 0)][DBLP] ASP-DAC, 2004, pp:218-223 [Conf]
- Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir
Debugging sequential circuits using Boolean satisfiability. [Citation Graph (0, 0)][DBLP] ICCAD, 2004, pp:204-209 [Conf]
- Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Freescale Semiconductor, Rolf Drechsler, Alexander Smith
Debugging Sequential Circuits Using Boolean Satisfiability. [Citation Graph (0, 0)][DBLP] MTV, 2004, pp:44-49 [Conf]
- Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas
Fault diagnosis and logic debugging using Boolean satisfiability. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:10, pp:1606-1621 [Journal]
SIMoNe: Statistical Inference for MOdular NEtworks. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|