位置：成果数据库 > 期刊 > 期刊详情页
The Symbolic OBDD Algorithm for Finding Optimal Semi-matching in Bipartite Graphs
  • ISSN号：1229-2370
  • 期刊名称：Communications and Network
  • 时间：0
  • 页码：65-72
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： Tianlong Gu|Liang Chang|Liang Chang|
同期刊论文项目
基于描述逻辑和模型检测的行动理论研究
期刊论文 41 会议论文 8 专利 1
同项目期刊论文
基于几何公差描述逻辑的公差类型的自动生成
装配序列规划问题的CSP模型及其符号OBDD求解技术
基于OBDD的描述逻辑ALCIO判定算法
基于语境和动作推理的语义Web服务发现
柔性制造系统中生产调度问题的零压缩二叉决策图算法
基于赋时Petri网的装配建模研究
基于逻辑的行动理论综述
A dynamic description logic based system for video event detection
基于启发式DCPM-FGA的产品装配序列规划
加权约束满足问题的符号ADD求解算法
时态描述逻辑ALC-LTL的Tableau判定算法
约束满足问题求解的符号OBDD桶消元算法
自组网MRP移动模型节点的空间概率分布研究
Petri网的符号ZBDD可达树分析技术
基于描述逻辑的新一代GPS几何公差类型的自动生成
基于改进遗传编程的并行装配序列规划
基于符号ADD和线性多分支程序的分类算法安全评估
可判定的时序动态描述逻辑
基于OBDD的描述逻辑εL循环术语集推理
物流企业遴选业务项目的熵权灰色关联算法设计
轻型卡车底板纵梁生产线的机器人焊接仿真
多区域物流产业竞争力的模糊逼近理想排序（TOPSIS）模型
用Arena对B物流公司作业时间的仿真及优化