Sciweavers

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