论文部分内容阅读
基于CDCL结构的SAT问题优化策略的研究
【机 构】
：
西南交通大学
【出 处】
：
西南交通大学
【发表日期】
：
2018年期
其他文献
凸体几何是以凸体和星体为主要研究对象的现代几何学的分支。本文研究了凸体几何中的完全不等式系统、几何断层学和包含测度中的三个问题，全文共分为四个章节。 在第一章我
微分方程解的性质包括解的稳定性，振动性和周期性等.这些性质揭示了动力系统的长期行为，因而在生态学，药学和经济学等众多领域有着广泛的应用，自从用微分方程来描述生物学中众多
科学与工程中的许多问题可归结为无界区域中数学物理方程的定解问题。对这类问题的求解，最简单的方法是先取定某个人工边界，给出适当的人工边界条件，然后在相应的有界区域中用通
算子理论产生于20世纪，由于其在数学和其它科学中的广泛应用，所以在20世纪的前三十年就得到了很大的发展.随着这一理论的不断发展，现在这一理论已成为现代数学中的一个热门分支.