Constraint Arithmetic on Real Intervals
暂无分享,去创建一个
[1] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.
[2] Joxan Jaffar,et al. Methodology and Implementation of a CLP System , 1987, ICLP.
[3] Brian A. Davey,et al. An Introduction to Lattices and Order , 1989 .
[4] Pascal Van Hentenryck,et al. Solving Large Combinatorial Problems in Logic Programming , 1990, J. Log. Program..
[5] Alain Colmerauer,et al. An introduction to Prolog III , 1989, CACM.
[6] Eero Hyvönen,et al. Constraint Reasoning Based on Interval Arithmetic , 1989, IJCAI.
[7] W. Older,et al. Extending Prolog with Constraint Arithmetic on Real Intervals , 1990 .