Generalized constraint propagation over the CLP scheme

This publication has 19 references indexed in Scilit:

• Solving large combinatorial problems in logic programming
  The Journal of Logic Programming, 1990
• Constraint propagation with interval labels
  Artificial Intelligence, 1987
• Crossword Compilation with Horn Clauses
  The Computer Journal, 1987
• The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
  Artificial Intelligence, 1985
• Logic for problem solving
  ACM SIGSOFT Software Engineering Notes, 1982
• Increasing tree search efficiency for constraint satisfaction problems
  Artificial Intelligence, 1980
• Consistency in networks of relations
  Artificial Intelligence, 1977
• Networks of constraints: Fundamental properties and applications to picture processing
  Information Sciences, 1974
• REF-ARF: A system for solving problems stated as procedures
  Artificial Intelligence, 1970
• Backtrack Programming
  Journal of the ACM, 1965