Alexander Smith

According to our database, Alexander Smith authored at least 4 papers between 2003 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2005

Fault diagnosis and logic debugging using Boolean satisfiability.

Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

2004

Debugging Sequential Circuits Using Boolean Satisfiability.

Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Rolf Drechsler, Alexander Smith

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

Design diagnosis using Boolean satisfiability.

Alexander Smith, Andreas G. Veneris, Anastasios Viglas

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Logic verification based on diagnosis techniques.

Andreas G. Veneris, Alexander Smith, Magdy S. Abadir

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003