2 search results - page 1 / 1 » Combining Component Caching and Clause Learning for Effectiv... |
SAT
2004
Springer
13 years 10 months ago
2004
Springer
SAT
2005
Springer
13 years 10 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...