Sciweavers

ICTAI
1996
IEEE

Binary CSP Solving as an Inference Process

13 years 8 months ago
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.
Carlos Castro
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where ICTAI
Authors Carlos Castro
Comments (0)