After the instantiation of a variable, constraint propagation is implemented, the constraint that each slab is visited only once is guaranteed and the subtour is dynamically forbidden.
为变量赋值之后，实施约束传播，保证每块板坯只被访问一次并动态禁止子回路。
youdao
应用推荐
模块上移
模块下移
不移动