论文信息 - Constraint Solving Specializations for Equality on an Interval-Variable Domain - 字舞流文

Constraint Solving Specializations for Equality on an Interval-Variable Domain

Kiyoshi Akama | Katsunori Miura | Hiroshi Mabuchi | Takahiko Ishikawa

[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..