Computer Science ›› 2013, Vol. 40 ›› Issue (12): 243-247.
Previous Articles Next Articles
WANG Teng-fei,XU Zhou-bo and GU Tian-long
[1] Marriot K,Stuckey P.Programming with constraints[M].Cambridge:MIT Press,1998 [2] Apt K.Principle of Constraint Programming[M].Cambridge:Cambridge Press,2003 [3] Prosser P.Hybrid algorithms for the constraint satisfactionproblems[J].Computational Intelligence,1993,9(3):268-299 [4] Ginsberg M L.Dynamic backtracking[J].Artificial Intelligence,1993,1:25-46 [5] Larrosa J,Schiex T.Solving Weighted CSP by Maintaining Arc Consistency[J].Artificial Intelligence,2004,159(1/2):1-26 [6] Mackworth A K.Consistency in networks of relations[J].Artificial Intelligence,1977,8(1):99-118 [7] Christian B,Charles R J.Refining the basic constraint propagation algorithm[C]∥Proceedings of the 17th International Joint Conference on Artificial Intelligence.Seattle WA:Morgan Kaufmann,2001:309-315 [8] Mohr R,Henderson T C.Arc and path consistency revised[J].Artificial Intelligence,1986,28(2):225-233 [9] 刘春晖.基于约束传播的约束求解方法研究[D].长春:吉林大学,2008 [10] 古天龙,徐周波.有序二叉决策图及应用[M].北京:科学出版社,2009 [11] Bryant R E.Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams[J].ACM Computing Surveys,1992,24(3):293-318 [12] Bachar R I,Frohm E A,Gaona C M,et al.Algebraic Decision Diagrams and Their Applications[J].Formal Methods in Systems Design,1997,10(2/3):171-206 [13] Hachtel G D,Somenzi F.A Symbolic Algorithm for Maximum Flow in 0-1Networks[J].Formal Methods in System Design,1997,10(2/3):207-219 [14] 徐周波,古天龙,赵岭忠.网络最大流问题的一种新的符号ADD求解算法[J].通信学报,2005,26(2):1-8 [15] 徐周波,古天龙,常亮.加权约束满足问题的符号ADD求解算法[J].模式识别与人工智能,2011,24(1):14-21 [16] Larrosa J.Node and Arc Consistency in Weighted CSP[C]∥Proc.of the AAAI-02.Alberta,Canada,Aug.2002:48-53 [17] 孙吉贵,朱兴军,张永刚,等.一种基于预处理的约束满足问题求解算法[J].计算机学报,2008,1(6):919-926 |
No related articles found! |
|