Sciweavers

11061 search results - page 184 / 2213
» Computer Architecture
Sort
View
DAC
2003
ACM
16 years 4 months ago
Shatter: efficient symmetry-breaking for boolean satisfiability
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah
DAC
2003
ACM
16 years 4 months ago
A fast pseudo-boolean constraint solver
Donald Chai, Andreas Kuehlmann
87
Voted
DAC
2003
ACM
16 years 4 months ago
Energy reduction techniques for multimedia applications with tolerance to deadline misses
Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya
DAC
2003
ACM
16 years 4 months ago
Generalized cofactoring for logic function evaluation
Yunjian Jiang, Slobodan Matic, Robert K. Brayton