Solving Binary CSP Using Computational Systems

This publication has 14 references indexed in Scilit:

• An arc-consistency algorithm optimal in the number of constraint checks
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Incremental querying in the concurrent CLP language IFD-Constraint Pandora
  Published by Association for Computing Machinery (ACM) ,1996
• On the use of constraints in automated deduction
  Published by Springer Nature ,1995
• Arc-consistency and arc-consistency again
  Artificial Intelligence, 1994
• Conditional rewriting logic as a unified model of concurrency
  Theoretical Computer Science, 1992
• The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
  Artificial Intelligence, 1985
• Consistency in networks of relations
  Artificial Intelligence, 1977
• New Programming Languages for Artificial Intelligence Research
  ACM Computing Surveys, 1974
• REF-ARF: A system for solving problems stated as procedures
  Artificial Intelligence, 1970
• On Canonical Forms and Simplification
  Journal of the ACM, 1970