Interval propagation and search on directed acyclic graphs for numerical constraint solving
暂无分享,去创建一个
[1] Luc Jaulin,et al. Applied Interval Analysis , 2001, Springer London.
[2] Jamila Sam. Constraint consistency techniques for continuous domains , 1995 .
[4] Hermann Schichl,et al. Interval Analysis on Directed Acyclic Graphs for Global Optimization , 2005, J. Glob. Optim..
[5] Hermann Schichl,et al. Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.
[6] M. H. van Emden,et al. Interval arithmetic: From principles to implementation , 2001, JACM.
[7] Ramon E. Moore. Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.
[8] C. Lottaz. Collaborative design using solution spaces , 2000 .
[9] David L. Waltz,et al. Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .
[10] G. McCormick. Nonlinear Programming: Theory, Algorithms and Applications , 1983 .
[11] David L. Waltz,et al. Understanding Line drawings of Scenes with Shadows , 1975 .
[12] G. Alefeld,et al. Introduction to Interval Computation , 1983 .
[13] Frédéric Benhamou,et al. Applying Interval Arithmetic to Real, Integer, and Boolean Constraints , 1997, J. Log. Program..
[14] Pascal Van Hentenryck,et al. Numerica: A Modeling Language for Global Optimization , 1997, IJCAI.
[15] Olivier Lhomme,et al. Consistency Techniques for Numeric CSPs , 1993, IJCAI.
[16] Garth P. McCormick,et al. Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems , 1976, Math. Program..
[17] Frédéric Goualard,et al. Revising Hull and Box Consistency , 1999, ICLP.
[18] Boi Faltings,et al. Combining multiple inclusion representations in numerical constraint propagation , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.
[19] A. Neumaier. Interval methods for systems of equations , 1990 .
[20] Boi Faltings,et al. Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities , 2001, Canadian Conference on AI.
[21] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[22] Frédéric Benhamou,et al. Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques , 2006, TOMS.
[23] Marius-Calin Silaghi,et al. Numerical Constraint Satisfaction Problems with Non-isolated Solutions , 2002, COCOS.
[24] Ugo Montanari,et al. Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..
[25] Patrick Henry Winston,et al. The psychology of computer vision , 1976, Pattern Recognit..
[26] Pramila Srivastava,et al. Fixed Point Theory and Best Approximation: The KKM-map Principle , 1997 .
[27] John D. Pryce,et al. Interval Arithmetic with Containment Sets , 2006, Computing.
[28] Pascal Van Hentenryck,et al. CLP(Intervals) Revisited , 1994, ILPS.
[29] Eldon Hansen,et al. Global optimization using interval analysis , 1992, Pure and applied mathematics.