Sciweavers

14515 search results - page 478 / 2903
» Efficient Embedded Computing
Sort
View
DAC
2003
ACM
16 years 8 months ago
Shatter: efficient symmetry-breaking for boolean satisfiability
Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah