Constraint satisfaction problems (CSP) form a general framework that captures a large variety of algorithmic problems. Due to their generality, CSPs are ubiquitous in several areas such as, for example, artificial intelligence, database theory and statistical physics. Therefore it is not surprising that their study is of prominent importance also in computational complexity theory. The proposed re ...