Abstrakt
V práci studujeme výpočetní složitost problémů splnitelnosti nad nekonečnými oborz hodnot. Konkrétně se zabýváme omega-kategorickými maximálními jazyky omezení, které přímo odpovídají minimálním oligomorfním klonům.
S pomocí těchto souvislostí ukážeme obecná kritéria pro řešitelnost i NP-úplnost problémů splnitelnosti omezení.