Consistency in Networks of Relations

This publication has 10 references indexed in Scilit:

• New Programming Languages for Artificial Intelligence Research
  ACM Computing Surveys, 1974
• Networks of constraints: Fundamental properties and applications to picture processing
  Information Sciences, 1974
• Interpreting pictures of polyhedral scenes
  Artificial Intelligence, 1973
• Automated space planning
  Artificial Intelligence, 1973
• REF-ARF: A system for solving problems stated as procedures
  Artificial Intelligence, 1970
• A Program for Solving Word Sum Puzzles
  The Computer Journal, 1969
• Nondeterministic Algorithms
  Journal of the ACM, 1967
• GIT—a heuristic program for testing pairs of directed line graphs for isomorphism
  Communications of the ACM, 1964
• Algorithm 97: Shortest path
  Communications of the ACM, 1962
• A Theorem on Boolean Matrices
  Journal of the ACM, 1962