Sciweavers

15485 search results - page 222 / 3097
» Computing Optimal Subsets
Sort
View
139
Voted
STACS
1998
Springer
15 years 10 months ago
Optimal Proof Systems for Propositional Logic and Complete Sets
Jochen Meßner, Jacobo Torán
DAC
1997
ACM
15 years 10 months ago
High-Level Power Modeling, Estimation, and Optimization
Enrico Macii, Massoud Pedram, Fabio Somenzi
144
Voted
FCT
1997
Springer
15 years 10 months ago
Towards Optimal Locality in Mesh-Indexings
Rolf Niedermeier, Klaus Reinhardt, Peter Sanders