Sciweavers

16216 search results - page 116 / 3244
» Effective Modeling with Constraints
Sort
View
ISQED
2005
IEEE
68views Hardware» more  ISQED 2005»
16 years 21 hour 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 11 months ago
Combining Component Caching and Clause Learning for Effective Model Counting
Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Ka...