Now showing items 1-1 of 1

  • Consistency and the quantified constraint satisfaction problem 

    Nightingale, Peter (University of St Andrews, 2007-11-30) - Thesis
    Constraint satisfaction is a very well studied and fundamental artificial intelligence technique. Various forms of knowledge can be represented with constraints, and reasoning techniques from disparate fields can be ...