3 search results - page 1 / 1 » Limitations of Restricted Branching in Clause Learning |
CP
2007
Springer
13 years 10 months ago
2007
Springer
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...
AAAI
2008
13 years 7 months ago
2008
We study the relative best-case performance of DPLL-based structure-aware SAT solvers in terms of the power of the underlying proof systems. The systems result from (i) varying th...
ESANN
2006
13 years 6 months ago
2006
The linear gating classifier (stem network) of the large scale model CombNET-II has been always the limiting factor which restricts the number of the expert classifiers (branch net...