Pinsker, Michael Michael PinskerTU Wien Research fields:Universal algebra and model theory in theoretical computer science (Constraint Satisfaction Problems)