16091 search results - page 266 / 3219 » Solving |
201
click to vote
RSEISP
2007
Springer
16 years 20 days ago
2007
Springer
The current research in granular computing is dominated by set-theoretic models such as rough sets and fuzzy sets. By recasting the existing studies in a wider context, we propose ...
167
click to vote
ISPA
2005
Springer
16 years 1 days ago
2005
Springer
Since cognition could be treated as problem-solving issues based on dynamical knowledge transferring and propagation, the meta-learning and group learning are put forward in confor...
163
click to vote
MKM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
174
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
148
click to vote
SAT
2009
Springer
15 years 11 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...