The paper evaluates the e ectiveness of learning for speeding up the solution of constraint satisfaction problems. It extends previous work (Dechter 1990) by introducing a new and powerful variant of learning and by presenting an extensive empirical study on much larger and more di cult problem instances. Our results show that learning can speed up backjumping when using either a xed or dynamic...

Recent evidence from economics and psychology highlights the importance of traits other than general intelligence for success in school and in life (Almlund, Duckworth, Heckman, & Kautz, 2011; Borghans, Duckworth, Heckman, & ter Weel, 2008; Moffitt et al., 2011). Disparities in so-called non-cognitive skills appear to contribute to the academic achievement gap separating wealthy from disadvanta...

This paper presents some of our requirements for a Z type-checker: that the typechecker accept all well-typeable formulations, however contrived; that it gather information about uses of declarations as needed to support interactive browsing and formal reasoning; that it t the description given by draft standard Z; and that it be able to check some particular extensions to Z that are intended t...

Explanation of symbols. data not available * provisional gure ** revised provisional gure (but not dee nite) x publication prohibited (conn dential gure) – nil – (between two gures) inclusive 0 (0.0) less than half of unit concerned empty cell not applicable Due to rounding, some totals may not correspond with the sum of the separate gures.

In most animals, primordial germ cell (PGC) specification and development depend on maternally provided cytoplasmic determinants that constitute the so-called germ plasm. Little is known about the role of germ plasm in vertebrate germ cell development, and its molecular mode of action remains elusive. While PGC specification in mammals occurs via different mechanisms, several germ plasm compone...

Simulating the switching on of an overhead power transmission line (PTL) ultra-high voltage in a dead-end mode, containing significant aperiodic current component, both from switch control key and three-phase automatic reclosing (TARC) cycle, is performed using MATLAB software package. The aim modelling to search find optimal modes electrical operation terms admitting values component assessing...