如果我理解正确，你的问题是，有一个解决的一般算法(即一个满意的分配)利用算法的可满足性问题。
Assuming I understand your question correctly, yes, there is a general algorithm to find a solution (i. e. a satisfying assignment) by using the algorithm for the satisfiability problem.
研究语言判断矩阵的满意一致性问题。
The problem of satisfying consistency of linguistic judgment matrix is discussed.
静态特性问题应用静态田口方法进行设计，有时难以获得满意结果，通常的解决方法是重选因素或响应并再作实验。
Sometimes the result is not satisfied when static systems have been designed with static Taguchi Methods. The general resolution is to re-select factors or responses and redo experiments.
研究语言判断矩阵的满意一致性问题。
Theoretical Study on Interval Number Complementary Judgement Matrix;
研究语言判断矩阵的满意一致性问题。
Theoretical Study on Interval Number Complementary Judgement Matrix;
应用推荐