2 search results - page 1 / 1 » Combining Component Caching and Clause Learning for Effectiv... |
137
click to vote
SAT
2005
Springer
15 years 8 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...