Binary CSP Solving as an Inference Process

We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understanding of the existing algorithms for solving Binary CSP once they are expressed as rewriting rules coordinated by strategies.

• Type: Conference
• Year: 1996
• Where: ICTAI
• Authors: Carlos Castro
• Keywords: Artificial Intelligence, Constraint Solving, Deduction Rules, ICTAI 1996, Rule-based Approach