Now showing items 1-1 of 1

  • Improving the efficiency of learning CSP solvers 

    Moore, Neil C.A. (University of St Andrews, 2011-05-01) - Thesis
    Backtracking CSP solvers provide a powerful framework for search and reasoning. The aim of constraint learning is increase global reasoning power by learning new constraints to boost reasoning and hopefully reduce search ...