CLP(Intervals) Revisited
暂无分享,去创建一个
[1] Ugo Montanari,et al. Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..
[2] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[3] Michel Cosnard,et al. Numerical Solution of Nonlinear Equations , 1979, TOMS.
[4] Louis B. Rall,et al. Automatic Differentiation: Techniques and Applications , 1981, Lecture Notes in Computer Science.
[5] E. Hansen,et al. Bounding solutions of systems of equations using interval analysis , 1981 .
[6] E. Hansen,et al. An interval Newton method , 1983 .
[7] John E. Dennis,et al. Numerical methods for unconstrained optimization and nonlinear equations , 1983, Prentice Hall series in computational mathematics.
[8] Ernest Davis,et al. Constraint Propagation with Interval Labels , 1987, Artif. Intell..
[9] Eero Hyvönen,et al. Constraint Reasoning Based on Interval Arithmetic , 1989, IJCAI.
[10] André Vellino,et al. Constraint Arithmetic on Real Intervals , 1993, WCLP.
[11] Gregory Allan Sidebottom,et al. Hierarchical arc consistency applied to numeric processing in constraint logic programming , 1991 .
[12] Frédéric Benhamou,et al. Programming in CLP(BNR) , 1993, PPCP.
[13] M. H. van Emden,et al. Interval Computation as Deduction in CHIP , 1993, J. Log. Program..
[14] Pascal Van Hentenryck,et al. Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.