Sciweavers

21430 search results - page 113 / 4286
» Abstract Effective Models
Sort
View
SAT
2004
Springer
158views Hardware» more  SAT 2004»
16 years 5 days ago
Combining Component Caching and Clause Learning for Effective Model Counting
Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Ka...