Constraint Solving Specializations for Equality on an Interval-Variable Domain
暂无分享,去创建一个
[1] Hidekatsu Koike,et al. Equivalent Transformation of Member Constraints on Interval-Variable Domain , 1998 .
[2] Chutiporn Anutariya,et al. XML Declarative Description: A Language for the Semantic Web , 2001, IEEE Intell. Syst..
[3] Alberto Pettorossi,et al. Transformation of Logic Programs: Foundations and Techniques , 1994, J. Log. Program..
[4] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[5] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[6] Hisao Tamaki,et al. Unfold/Fold Transformation of Logic Programs , 1984, ICLP.
[7] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..