| [1] |
LECOUTRE C,LIKITVIVATANAVONG C,YAP R.STR3:a path-optimal filtering algorithm for table constraints[J].Artificial Intelligence,2015,220:1-27.
|
| [2] |
ROSSI F,VAN BEEK P,WALSH T.Handbook of constraint programming[M].[S.1.]:Elsevier Press,2006.
|
| [3] |
GHEDIRA K,DUBUISSON B.Constraint satisfaction problems[EB/OL].[2019-03-21].https://www.researchgate.net/publication.
|
| [4] |
DASYGENIS M,STERGIOU K.Exploiting the pruning power of strong local consistencies through parallelization[EB/OL].[2019-03-21].https://doi.org/10.1145/2903220.2903228.
|
| [5] |
LECOUTRE C.Constraint networks:techniques and algorithms[M].New York,USA:ISTE/Wiley,2009.
|
| [6] |
WANG Haiyan,LI Chuang,ZHANG Liang,et al.Autonomous-branching constraint solving aided by dom/ddeg decision makin[J].Journal of Jilin University(Science Edition),2014,52(6):1289-1292.(in Chinese)王海燕,李闯,张良,等.Dom/ddeg自主分支辅助决策约束求解[J].吉林大学学报(理学版),2014,52(6):1289-1292.
|
| [7] |
JIANG Liming,LÜ Jiayu,HE Zhehua,et al.Research on improvement of AC series algorithms for heuristic constraint satisfaction problem[J].Software Engineering,2018,21(2):30-34.(in Chinese)蒋李鸣,吕佳宇,何哲华,等.基于启发式的约束满足问题AC系列算法改进研究[J].软件工程,2018,21(2):30-34.
|
| [8] |
WOODWARD R J,KARAKASHIAN S,CHOUEIRY B Y,et al.Revisiting neighbor-hood inverse consistency on binary CSPs[C]//Proceedings of International Conference on Principles and Practice of Constraint Programming.Berlin,Germany:Springer,2012:688-703.
|
| [9] |
PALMIERI A,REGIN J C,SCHAUS P.Parallel strategies selection[C]//Proceedings of International Conference on Principles and Practice of Constraint Programming.Berlin,Germany:Springer,2016:388-404.
|
| [10] |
LI Hongbo,LI Zhanshan,WANG Tao.Improving coarse-grained arc consistency algorithms in solving constraint catisfaction problems[J].Journal of Software,2012,23(7):1816-1823.(in Chinese)李宏博,李占山,王涛.改进求解约束满足问题粗粒度弧相容算法[J].软件学报,2012,23(7):1816-1823.
|
| [11] |
ZHANG Boyang,ZHU Yanguang,YANG Feng.Research on solution space contraction method for temporal constraint optimization problem[J].Computer Engineering,2012,38(14):262-265.(in Chinese)张博洋,朱延广,杨峰.时间约束优化问题的解空间压缩方法研究[J].计算机工程,2012,38(14):262-265.
|
| [12] |
LIU Junli,OUYANG Song.Improvement of workflow adaptability based on constraints theory[J].Computer Engineering,2010,36(11):90-92.(in Chinese)刘俊莉,欧阳松.基于约束理论的工作流适应性改进[J].计算机工程,2010,36(11):90-92.
|
| [13] |
YAPR H C,ZHANG Y.An optimal coarse-grained arc consistency algorithm[J].Artificial Intelligence,2006,165(2):165-185.
|
| [14] |
WANG R,XIA W,YAP R,et al.Optimizing simple table reduction with bitwise representation[C]//Proceedings of the 25th IEEE International Joint Conference on Artificial Intelligence.Washington D.C.,USA:IEEE Press,2016:1-9.
|
| [15] |
DASYGENISM,STERGIOU K.Using parallelization to efficiently exploit the pruning power of strong local consistencies[C]//Proceedings of Hellenic Conference on Artificial Intelligence.Washington D.C.,USA:IEEE Press,2016:231-242.
|
| [16] |
VERHAEGHE H,LECOUTRE C,DEVILLE Y,et al.Extending compact-table to basic smart tables[C]//Proceedings of International Conference on Principles and Practice of Constraint Programming.Berlin,Germany:Springer,2017:152-164.
|
| [17] |
LI Hongbo,SHEN Haijiao,LI Zhanshan,et al.Reducing consistency checks in generating corrective explanations for interactive constraint satisfaction[J].Knowledge-Based Systems,2013,43(2):103-111.
|
| [18] |
YANG Mingqi,LI Zhanshan,ZHANG Jiachen.Simple tabular reduction algorithm based on time-stamp mechanism[J].Journal of Software,2019,30(11):3355-3363.(in Chinese)杨明奇,李占山,张家晨.一种基于时间戳的简单表缩减弧相容算法[J].软件学报,2019,30(11):3355-3363.
|
| [19] |
YANG Wei.Research on constraint propagation strategies and heuristics in CSP[D].Changchun:Jilin University,2018.(in Chinese)杨微.CSP中的约束传播策略及启发式的研究[D].长春:吉林大学,2018.
|
| [20] |
WOODWARDR J,CCHOUEIRY B Y.Weight-based variable ordering in the context of high-level consistencies[EB/OL].[2019-03-21].https://www.researchgate.net/publication/.
|