The weak base method for constraint satisfaction [Elektronische Ressource] / von Ilka Schnoor

The Weak Base Method for ConstraintSatisfactionVon derFakult at fur Elektrotechnik und Informatikder Gottfried Wilhelm Leibniz Universiatt Hannoverzur Erlangung des Grades einerDOKTORIN DER NATURWISSENSCHAFTENDr. rer. nat.genehmigte DissertationvonDipl.-Math. Ilka Schnoorgeboren am 11. September 1979, in Eckernf orde2008Schlagw orter: Berechnungskomplexit at, Constraint Satisfaction Probleme, Uni-verselle AgebraKeywords: Computational complexity, Constraint satisfaction problems, Uni-versal algebraReferent: Heribert Vollmer, Gottfried Wilhelm Leibniz Universit at HannoverKorreferent: Martin Mundhenk, Friedrich-Schiller-Universitt JenaTag der Promotion: 21.11.2007iiiDanksagungVor kurzem, so scheint es, begann ich erst mein Studium und nun habe ich dieseArbeit fertiggestellt. In dieser Zeit haben mich viele Menschen auf diesem Wegbegleitet und unterstutzt. Zuerst sind da meine Betreuer zu nennen: HeribertVollmer, der mich angeleitet und ermutigt hat und mich auf einer Stelle getra-gen hat, die es eigentlich gar nicht gab, und Nadia Creignou, die unermudlic hVerbesserungsvorschl age fur diese Arbeit geliefert und viele Formulare fur michausgefullt hat. Dann meine Kollegen Michael Bauland und Anca Vais, diedurch ihre lebhafte Art immer wieder Schwung ins Institut bringt und mit derich gerne ein Buro geteilt habe. Und alle meine Coautoren.