Karl, Leopold Leopold KarlTU Wien Advisor:Michael PinskerResearch Topic:Constraint Satisfaction Problems