位置：成果数据库 > 期刊 > 期刊详情页
A novel symbolic algorithm for maximum weighted matching in bipartite graphs
  • 期刊名称：International Journal of Communications, Network a
  • 时间：0
  • 页码：111-121
  • 相关项目：面向装配规划的领域知识表示及推理研究
作者： Tianlong Gu|Liang Chang|Zhoubo Xu|
同期刊论文项目
面向装配规划的领域知识表示及推理研究
期刊论文 29 会议论文 11 专利 2
同项目期刊论文
The symbolic OBDD algorithm for maximum cardinality matching in bipartite graphs
基于OBDD的Iteration-free CPDL判定算法
基于动态描述逻辑DDL的动作理论
装配序列规划问题的CSP模型及其符号OBDD求解技术
基于OBDD的描述逻辑ALCIO判定算法
基于赋时Petri网的装配建模研究
基于启发式DCPM-FGA的产品装配序列规划
基于CPDL模型检验的装配序列规划
加权约束满足问题的符号ADD求解算法
Petri网的符号ZBDD可达树分析技术
基于改进遗传编程的并行装配序列规划
基于符号ADD和线性多分支程序的分类算法安全评估
可判定的时序动态描述逻辑
基于OBDD的描述逻辑εL循环术语集推理
一种Ad Hoc网络可生存性度量方法
基于OBDD的描述逻辑SHOIQ判定算法研究与实现
Symbolic Representation for Rough Set Attribute Reduction Using Ordered Binary Decision Diagrams