伴随价值量相关硕士博士期刊学术论文

为了解决求解合取范式的可满足性问题的坐标轮换法中所存在的函数增量的变化、优化方向的顺序、跳出局部极小陷井的策略和堵绝......