Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Carlos Castro · Fundamenta Informaticae · 1998
In this paper, we formalize Constraint Satisfaction Problem manipulation using a rule-based approach. Based on the notion of Computational Systems, we associate basic transformations carried out by traditional constraint solving algorithms with rewri