1930 search results - page 84 / 386 » Learning to Solve QBF |
117
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
155
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A key problem in designing artificial neural networks for visual object recognition tasks is the proper choice of the network architecture. Evolutionary optimization met...
113
Voted
SAT
2004
Springer
15 years 9 months ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
158
Voted
AIED
2009
Springer
15 years 8 months ago
2009
Springer
The SIETTE collaborative environment allows students to take tests together in small groups. Individuals can communicate and hold discussions to solve test questions. This paper de...
110
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. A conceptual framework, whose goal is the improvement of efficiency of machine learning, is presented. The framework is designed in a broader context of problem solver (P...