Sciweavers

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