10-Year retrospective most influential paper award
fYear :
2014
fDate :
20-23 Jan. 2014
Firstpage :
1
Lastpage :
1
Abstract :
The ASP-DAC 2004 Award Winner is: "Design Diagnosis Using Boolean Satisfiability" by Alexander Smith, Andreas Veneris, and Anastasios Viglas (Univ. of Toronto, Canada).
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific
