桂林电子科技大学学报2019，Vol.39Issue(5)：357-362,6.
基于符号OBDD的子图同构约束求解算法
A symbolic OBDD-based of constraint solving algorithm for subgraph isomorphism problem
摘要
关键词
子图同构/约束满足问题/有序二叉决策图/弧一致性分类
信息技术与安全科学引用本文复制引用
刘桂珍,徐周波..基于符号OBDD的子图同构约束求解算法[J].桂林电子科技大学学报,2019,39(5):357-362,6.基金项目
国家自然科学基金(61762027) （61762027）
广西自然科学基金(2017GXNSFAA198172) （2017GXNSFAA198172）
桂林电子科技大学研究生教育创新计划(2017YJCX54 , 2017YJCX08) （2017YJCX54 , 2017YJCX08）
