Now showing items 1-1 of 1

    • Mapping Inferences: Constraint Propagation and Diamond Satisfaction 

      Gennari, Rosella (Universiteit van Amsterdam, 2002-12)
      The main theme shared by the two main parts of this thesis is EFFICIENT AUTOMATED REASONING.Part I is focussed on a general theory underpinning a number of efficient approximate algorithms for Constraint Satisfaction ...