PPSZ算法（Paturi等人，FOCS 1998）是已知的k-SAT最快的算法。 我们展示了如何将算法及其分析扩展到（d，k）-克劳斯满意度问题，其中每个变量的范围都超过d个不同值。 给定具有唯一令人满意的分配的输入实例，除（d，k）为（3，2）或（4，2）时，所得算法是（d，k）-CSP最快的已知算法。 对于多个令人满意的分配的一般情况，对于所有k≥4，我们的算法是最快的。