一种面向变量传播的弧一致性算法

• A Variable Transmission for the Arc Consistency Algorithm