Hierarchical arc consistency applied to numeric processing in constraint logic programming

[1]  Alan Bundy.  A generalized interval package and its use for semantic checking , 1984, TOMS.

[2]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[3]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[4]  Jon G. Rokne,et al.  Computer Methods for the Range of Functions , 1984 .

[5]  W. Older,et al.  Extending Prolog with Constraint Arithmetic on Real Intervals , 1990 .

[6]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[7]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[8]  Akira Aiba,et al.  Constraints Logic Programming Language CAL , 1988, FGCS.

[9]  Victor W. Marek.  Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press) , 1988, SGAR.

[10]  Joxan Jaffar,et al.  Methodology and Implementation of a CLP System , 1987, ICLP.

[11]  William S. Havens,et al.  Hierarchical arc consistency: exploiting structured domains in constraint satisfaction problems , 1985 .

[12]  B. Buchberger,et al.  Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[13]  Bernard A. Nadel,et al.  Constraint satisfaction algorithms 1 , 1989, Comput. Intell..

[14]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[15]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[16]  Lee Naish,et al.  Negation and Control in Prolog , 1986, Lecture Notes in Computer Science.

[17]  Justin Zobel,et al.  Nu-prolog reference manual , 1990 .

[18]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[19]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[20]  G. Alefeld,et al.  Introduction to Interval Computation , 1983 .

[21]  Alain Colmerauer,et al.  An introduction to Prolog III , 1989, CACM.