在AC-3算法的基础上,提出了采用面向变量的约束传播机制新的弧一致性算法（IAC3）,算法（IAC3）引入了一个小型的附加数据结构,使得新算法......

在AC-3算法的基础上,提出了采用面向变量的约束传播机制新的弧一致性算法（Improved-AC3）,算法（Improved-AC3）完全脱离附加的数据结构,......