Improving Backtrack Search for Solving the TCSP
暂无分享,去创建一个
[1] Djamila Sam-Haroud,et al. Path Consistency on Triangulated Constraint Graphs , 1999, IJCAI.
[2] J. Hooker. Constraint programming , 2003 .
[3] Rina Dechter,et al. Processing Disjunctions in Temporal Constraint Networks , 1997, Artif. Intell..
[4] Manolis Koubarakis,et al. Backtracking algorithms for disjunctions of temporal constraints , 1998, Artif. Intell..
[5] Robert M. Haralick,et al. Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..
[6] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[7] Xu Lin,et al. An Approximation of Generalized Arc-Consistency for TCSPs , .
[8] Rina Dechter,et al. Network-based heuristics for constraint satisfaction problems , 1988 .
[9] Shimon Even,et al. Graph Algorithms , 1979 .
[10] Eugene C. Freuder. A sufficient condition for backtrack-bounded search , 1985, JACM.
[11] Martha E. Pollack,et al. Efficient solution techniques for disjunctive temporal reasoning problems , 2003, Artif. Intell..
[12] Ugo Montanari,et al. Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..
[13] Thomas C. Henderson,et al. Arc and Path Consistency Revisited , 1986, Artif. Intell..
[14] Amedeo Cesta,et al. Incremental Forward Checking for the Disjunctive Temporal Problem , 2000, ECAI.
[15] Enn Tyugu,et al. Constraint Programming , 1994, NATO ASI Series.
[16] Eugene C. Freuder. A Sufficient Condition for Backtrack-Free Search , 1982, JACM.
[17] Berthe Y. Choueiry,et al. A new effcient algorithm for solving the simple temporal problem , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..
[18] Berthe Y. Choueiry,et al. Dynamic Bundling: Less Effort for More Solutions , 2002, SARA.
[19] Eugene C. Freuder,et al. A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction , 1993, PPCP.
[20] R. K. Shyamasundar,et al. Introduction to algorithms , 1996 .
[21] Christian Bessiere,et al. Refining the Basic Constraint Propagation Algorithm , 2001, JFPLC.