Compiling Constraint Solving using Projection
Compiling Constraint Solving using Projection
复制标题
使用投影编译约束求解
DOI:
10.1007/bfb0017462
复制
发表时间:
1997
期刊:
影响因子:
--
通讯作者:
A. Borning
中科院分区:
文献类型:
--
作者:
Warwick Harvey;Peter James Stuckey;A. Borning