可满足问题论文

#CSP的相变及近似算法研究
论文摘要近年来，相变现象已成为人工智能领域的一个研究热点。对NP完全问题相变的研究可以帮助我们理解问题困难的本质，从而提出更有效的求解算法。相变现象指的是随着某个参数的变化，问...
常文静：一种基于识别重复路径的动态决策策略论文
本文主要研究内容作者常文静,徐扬（2019）在《一种基于识别重复路径的动态决策策略》一文中研究指出：在现有基于冲突学习子句的求解器中,重启和变量相位存储技术的频繁应用,导致重启...