Constraint Manipulation using Rewrite Rules andStrategiesCarlos

@inproceedings{Lorraine1997ConstraintMU,
  title={Constraint Manipulation using Rewrite Rules andStrategiesCarlos},
  author={C. Lorraine and Carlos. Castro},
  year={1997}
}
We are interested in constraint manipulation using rule-based algorithms because of the explicit distinction made in this approach between deduction rules and control. We associate actions with rewrite rules and control with strategies that establish the order of application of the inferences. This framework allows us to describe constraint handling in a very abstract way, prototype new heuristics almost by modifying only the choice of rules, prove termination in an easier and possibly… CONTINUE READING
4 Citations
26 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 26 references

An Approach for Achieving Local Con- sistency in Binary CSP Involving Disjunctive Con- straints

  • Carlos Castro
  • In XXIII Conferencia Latinoamericana de Inform…
  • 1997

An Approach for Systematic Manipu- lation of Disjunctive Constraints in CSP: An Applica- tion to Scheduling Problems

  • Carlos Castro
  • To be submitted,
  • 1997

Strategies and Rewriting in ELAN

  • Peter Borovansk y, Claude Kirchner, H el ene Kirchner
  • Pro- ceedings CADE-14 Workshop on Strategies in…
  • 1997
1 Excerpt

Designing Constraint Logic Programming Lan- guages using Computational Systems

  • Claude Kirchner, H el ene Kirchner, Marian Vit- tek
  • Principles and Practice of Constraint…
  • 1995
2 Excerpts

ELAN, User Manual

  • Claude Kirchner, H el ene Kirchner, Marian Vit- tek
  • INRIA Lorraine & CRIN, Campus scienti que,
  • 1995
2 Excerpts

Similar Papers

Loading similar papers…