2. 您的位置
3. 首页
4. 学位论文
5. 基于代数几何的可满足性问题连续求解方法研究

基于代数几何的可满足性问题连续求解方法研究

来源 :广西民族大学 | 被引量 : 0次 | 上传用户：wangcquan

【作 者】

：

靳庆庚 

【出 处】

：

广西民族大学

【发表日期】

：

2016年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于控制流信息和程序不变量相结合的软件故障预警方法

学位

卫星地面数据管理系统的设计与实现

学位

高可用服务管理平台的设计与实现

学位

一种基于角度的离群点检测算法的改进

学位

基于水平集的图像分割方法及其测试平台

学位

长兴一号线物流管理系统设计与实现

学位

基于卫星广播技术的新疆农村信息推送系统的研究与实现

学位

辽宁省某公司制造执行系统的设计与实现

学位

泽兰质量标准提高研究

期刊

基于双约束非负矩阵分解的多视角聚类

学位