Browsing NDLTD Theses and Dissertations by Subject "verification"
Now showing items 1-1 of 1
-
Mapping Inferences: Constraint Propagation and Diamond Satisfaction
(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 ...