For a man, a conversation is a way to define a problem, debate the rights and wrongs, and find a solution.
对男士来说,谈话是弄清问题,明辨是非,找出解决问题办法的方式。
Before writing a GNU MathProg program to find the optimal solution for this problem, analyze it a little bit.
在为这个问题寻找最佳解而编写GNU MathProg程序之前,需要对其稍微进行一下分析。
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.
如果我理解正确,你的问题是,有一个解决的一般算法(即一个满意的分配)利用算法的可满足性问题。
应用推荐