基于成功回溯的约束推理技术
, 张乾, 张良Reasoning from successful backtracking in constraint programming
WANG Tao1 , ZHANG Qian2, 3 , LI Zhan-shan2, 3 , ZHANG Liang2, 3
, ZHANG Qian, ZHANG Liang
基于成功回溯的约束推理技术 |
|
王涛, 张乾, 张良 |
Reasoning from successful backtracking in constraint programming |
|
WANG Tao
, ZHANG Qian, ZHANG Liang |
| MAC_BTS示意图 |
| |