Interval propagation to reason about sets: Definition and implementation of a practical language

This publication has 22 references indexed in Scilit:

• Interval constraint logic programming
  Published by Springer Nature ,1995
• Solving crew scheduling problems by constraint programming
  Published by Springer Nature ,1995
• Introducing global constraints in CHIP
  Mathematical and Computer Modelling, 1994
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• A generic arc-consistency algorithm and its specializations
  Artificial Intelligence, 1992
• Set constructors in a logic database language
  The Journal of Logic Programming, 1991
• A new data structure for implementing extensions to Prolog
  Published by Springer Nature ,1990
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• A Compendium of Continuous Lattices
  Published by Springer Nature ,1980
• REF-ARF: A system for solving problems stated as procedures
  Artificial Intelligence, 1970