Sciweavers

21430 search results - page 113 / 4286
» Abstract Effective Models
Sort
View
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...
ISCAS
2003
IEEE
119views Hardware» more  ISCAS 2003»
15 years 11 months ago
Modeling skin effect with reduced decoupled R-L circuits
Shizhong Mei, Yehea I. Ismail