计算机应用与软件2002,Vol.19Issue(2):58-60,3.
求解约束网络图的逆向推理方法
AN APPROACH TO THE CONSTRAINT NET GRAPH PROBLEM BY BACKWARD- REASONING METHOD
石立农 1曾庆惠 1李志刚2
作者信息
- 1. 广州通信学院计算机教研室,广州,510500
- 2. 华中理工大学机械科学与工程学院,武汉,430072
- 折叠
摘要
关键词
CAD 几何推理 约束满足 约束传播分类
信息技术与安全科学引用本文复制引用
石立农,曾庆惠,李志刚..求解约束网络图的逆向推理方法[J].计算机应用与软件,2002,19(2):58-60,3.