SSAATRIASVRConstraint Propagation in MozartTobias MüllerDissertationzur Erlangung des GradesDoktor der Ingenieurwissenschaften (Dr.-Ing.)der Naturwissenschaftlich-Technischen Fakultät Ider Universität des SaarlandesSaarbrücken, 2001IEEVNISNIUSCopyright c 2001, Tobias MüllerProgramming Systems LabUniversität des Saarlandes, 66041 Saarbrücken, GermanyEmail: tmueller@ps.uni-sb.deWeb: www.ps.uni-sb.de/~tmuellerAThis document was prepared with LT X 2 ."EProgram listings were typeset with a modified version of Denys Duchier’sraw2tex.Prüfungsausschuss / Examining Committee:Vorsitzender: Prof. Dr. Jörg SiekmannErstgutachter: Prof. Dr. Gert SmolkaZweitgutachter: Assistant Prof. Dr. Martin HenzDekan: Prof. Dr. Rainer Schulze-PillotBeisitzer: Dr.-Ing. Alassane NdiayeTag des Kolloquiums: 3. Dezember 2001AbstractThis thesis presents constraint propagation in Mozart which is based on compu-tational agents called propagators. The thesis designs, implements, and evaluatespropagator-based propagation engines. A propagation engine is split up in generication services and domain specific domain solvers which are connected bya constraint programming interface. Propagators use filters to perform constraintpropagation. The interface isolates filters from propagators such that they can beshared among various systems.