1252 search results - page 20 / 251 » Minimizing Learned Clauses |
HIS
2008
14 years 11 months ago
2008
Artificial Neural Networks for online learning problems are often implemented with synaptic plasticity to achieve adaptive behaviour. A common problem is that the overall learning...
COLT
2004
Springer
15 years 3 months ago
2004
Springer
CP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Work by Kilby, Slaney, Thiebaux and Walsh [1] showed that the backdoors and backbones of unstructured Random 3SAT instances are largely disjoint. In this work we extend t...
AAAI
2010
14 years 7 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract--Recently Kutin and Niyogi investigated several notions of algorithmic stability--a property of a learning map conceptually similar to continuity--showing that training-st...