Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods

This publication has 11 references indexed in Scilit:

• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• Warren's Abstract Machine
  Published by MIT Press ,1991
• Solving large combinatorial problems in logic programming
  The Journal of Logic Programming, 1990
• Constraint satisfaction algorithms1
  Computational Intelligence, 1989
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Arc and path consistency revisited
  Artificial Intelligence, 1986
• A Sufficient Condition for Backtrack-Free Search
  Journal of the ACM, 1982
• Synthesizing constraint expressions
  Communications of the ACM, 1978
• Networks of constraints: Fundamental properties and applications to picture processing
  Information Sciences, 1974