Sciweavers

16216 search results - page 116 / 3244
» Effective Modeling with Constraints
Sort
View
ISQED
2005
IEEE
68views Hardware» more  ISQED 2005»
15 years 10 months ago
Modeling Within-Die Spatial Correlation Effects for Process-Design Co-Optimization
Paul Friedberg, Yu Cao, Jason Cain, Ruth Wang, Jan...
SAT
2004
Springer
158views Hardware» more  SAT 2004»
15 years 9 months ago
Combining Component Caching and Clause Learning for Effective Model Counting
Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Ka...