Adaptive constraint propagation solving based on AC and LmaxRPC

作者：Wang Hai Yan; Ouyang Dan Tong; Zhang Yong Gang^*; Yang Ming Ming

来源：Journal of Hunan University(Natural Sciences), 2013, 40(7): 86-91.

• Adaptive constraint propagation
• Adaptive constraints
• Constraint programming
• Constraint propagation
• Constraint Solving
• Local consistency
• Solving algorithm
• Test data

On the basis of the current adaptive constraint solving algorithms, this paper proposed a new adaptive constraint propagation solving algorithm ADAPTAC-LmaxRPC, which adaptively switches between enforcing a strong and expensive local consistency LmaxRPC and a weak but more cheaper one AC according to the activity of individual constraints. Test data from several Benchmark instances shows that ADAPTAC-LmaxRPC balances the contradiction between the constraint solving efficiency and algorithm cost effectively, and it improves the efficiency of constraint solving substantially.

• 出版日期2013
• 单位吉林大学