Abstrakt
V práci klasifikujeme výpočetní složitost všech problémů splnitelnosti systémů omezujících podmínek pro jazyky, ve kterých je jazyk podmínek zachován všemi permutacemi domény. Jazyk podmínek je zachován všemi permutacemi domény právě tehdy, když každá jeho relace může být definována booleovskou kombinací relace =.