Sciweavers

116 search results - page 3 / 24
» dac 2003
Sort
View
64
Voted
DAC
2003
ACM
15 years 6 months ago
Automating the design of an asynchronous DLX microprocessor
Manish Amde, Ivan Blunno, Christos P. Sotiriou
76
Voted
DAC
2003
ACM
16 years 1 months ago
Shatter: efficient symmetry-breaking for boolean satisfiability
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah