位置：成果数据库 > 期刊 > 期刊详情页
无圈与或图搜索的符号OBDD算法研究
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：169-173
  • 语言：中文
  • 相关项目：基于抽象解释的逻辑程序验证研究
作者： 赵岭忠|王雪松|古天龙|
同期刊论文项目
基于抽象解释的逻辑程序验证研究
期刊论文 21 会议论文 6
同项目期刊论文
基于ASP的程序切片
基于启发式搜索的ASP程序支撑原因分析算法
从经典逻辑知识构建ASP知识库的新方法
Using ASP for Knowledge Management with User Authorization
Semantic web service composition using answer set planning
基于回答集的Web服务组合验证
正规逻辑程序回答集存在性研究
基于自动机理论的符号模型检验
基于OBDD的含圈与或图搜索算法研究
可判定的时序动态描述逻辑
基于NSCT和自适应PCNN的遥感图像融合方法