If you know what you're after, just type it into the search engine's famous little box and – hey presto – you'll be given a list of related sites in order of relevance. Such is Google's dominance that its name has become a synonym for search. And rightly so. When was the last time you Yahooed something? And good though Bing is, it's not ringing our bell just yet. Constraint Programming - Models, techniques, implementation. Guido Tack Doctoral Dissertation, Saarland University, January 2009 This dissertation presents the design of a propagation-based constraint solver.
The design is based on models that span several levels of abstraction, ranging from a mathematical foundation, to a high-level implementation architecture, to concrete data structures and algorithms.