动态凸化方法论文

赋权MAX-SAT问题的动态凸化方法
论文摘要可满足性问题（简称SAT问题）在运筹学、人工智能、VLSI集成电路设计与检测和计算机科学等热点领域有着广泛的应用，SAT问题是第一个被证明为NP-hard的问题。解决S...