Sciweavers

3 search results - page 1 / 1
» Limitations of Restricted Branching in Clause Learning
Sort
View
CP
2007
Springer
13 years 9 months ago
Limitations of Restricted Branching in Clause Learning
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...
Matti Järvisalo, Tommi A. Junttila
AAAI
2008
13 years 6 months ago
On the Power of Top-Down Branching Heuristics
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...
Matti Järvisalo, Tommi A. Junttila
ESANN
2006
13 years 5 months ago
Non-linear gating network for the large scale classification model CombNET-II
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...
Mauricio Kugler, Toshiyuki Miyatani, Susumu Kuroya...